Theorem IsLocalization.isMaximal_iff_isMaximal_disjoint

Modification history