Theorem surjective_of_isLocalized_maximal

Modification history