Theorem Filter.tendstoIxxClass_of_subset

Modification history

2023-01-25 17:18
Mathlib/Order/Filter/Interval.lean
feat: port Order.Filter.Interval (#1820)
Added Filter.tendstoIxxClass_of_subsetView on Github →