Theorem Filter.HasBasis.inf_principal_neBot_iff

Modification history