Skip to content

Avoid obsolete names for functions and types#21

Merged
ederc merged 3 commits intoalgebraic-solving:mainfrom fingolfin:mh/obsoleteOct 19, 2023