Theorem IsLocalization.Away.algebraMap_isUnit_iff

Modification history