Theorem IsLocalization.algebraMap_isUnit_iff

Modification history