Theorem Filter.HasBasis.limsup_eq_sInf_iUnion_iInter

Modification history