Theorem IsLocalization.eq_of_eq

Modification history