Skip to content

minor simplification#1785

Merged
affeldt-aist merged 1 commit intomath-comp:masterfrom
affeldt-aist:lebesgue_20251203
Dec 4, 2025
Merged

minor simplification#1785
affeldt-aist merged 1 commit intomath-comp:masterfrom
affeldt-aist:lebesgue_20251203

Commits

Commits on Dec 3, 2025