Theorem Filter.HasBasis.sup_principal

Modification history