Theorem Filter.HasBasis.le_basis_iff

Modification history