Theorem Filter.isCoboundedUnder_ge_of_eventually_le

Modification history