Theorem bijective_of_localized_maximal

Modification history