Theorem IsLocalization.lift_algebraMap_eq_algebraMap

Modification history