Theorem Filter.frequently_principal

Modification history