Theorem Filter.tendstoIxxClass_inf

Modification history

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