Theorem Filter.HasBasis.liminf_eq_sSup_iUnion_iInter

Modification history