Theorem IsLocalization.isMaximal_of_isMaximal_disjoint

Modification history