Theorem Filter.HasBasis.disjoint_iff_left

Modification history