Theorem exact_of_localized_maximal

Modification history