Theorem IsLocalization.isAlgebraic

Modification history