Skip to content

added a few lemmas about sup#1964

Merged
affeldt-aist merged 3 commits into
math-comp:masterfrom
holgerthies:sup_lemmas_20260511
May 21, 2026
Merged

added a few lemmas about sup#1964
affeldt-aist merged 3 commits into
math-comp:masterfrom
holgerthies:sup_lemmas_20260511

fix

f0e9b91
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning
rocq-core
succeeded May 20, 2026 in 2m 38s