Theorem exact_of_isLocalized_maximal

Modification history