Skip to content

fixes #1052 (renaming in sequences.v)#1085

Merged
affeldt-aist merged 1 commit intomath-comp:masterfrom
affeldt-aist:fixes_20231109
Nov 10, 2023
Merged

fixes #1052 (renaming in sequences.v)#1085
affeldt-aist merged 1 commit intomath-comp:masterfrom
affeldt-aist:fixes_20231109

Commits

Commits on Nov 9, 2023