search

MCLF / henselization

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

Rename everything to henselization #20

Closed saraedum closed 6 years ago

saraedum commented 6 years ago

Replace almost all occurrences of completion.