Skip to content

generalize fct_sumE#1680

Merged
affeldt-aist merged 1 commit intomath-comp:masterfrom
t6s:generalize_fct_sumE
Jul 7, 2025
Merged

generalize fct_sumE#1680
affeldt-aist merged 1 commit intomath-comp:masterfrom
t6s:generalize_fct_sumE

Commits

Commits on Jul 7, 2025