Skip to content

lemma from MathComp-Analysis' unstable.v#140

Merged
proux01 merged 1 commit intomath-comp:masterfrom
affeldt-aist:unstable_20250703
Jul 4, 2025
Merged

lemma from MathComp-Analysis' unstable.v#140
proux01 merged 1 commit intomath-comp:masterfrom
affeldt-aist:unstable_20250703

Commits

Commits on Jul 4, 2025