Theorem Filter.HasBasis.limsup_eq_ite

Modification history