Theorem Filter.HasBasis.lift'_interior_eq_self

Modification history