Theorem Filter.tendstoIxxClass_principal

Modification history

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