search

MCLF / henselization

Generic Completions/Henselizations in Sage
GNU General Public License v2.0
6 stars 1 forks source link

Rename completion to Henselization #7

Closed saraedum closed 6 years ago

saraedum commented 6 years ago

fixes #5