Theorem Filter.HasBasis.mem_lift_iff

Modification history