Theorem Filter.IsBasis.mem_filterBasis_iff

Modification history