Theorem Filter.HasBasis.inf_basis_neBot_iff

Modification history