Theorem filter.tendsto_principal
Modification history
2020-08-14 12:28
src/order/filter/basic.lean
chore(*): assorted lemmas for FTC-1 (#3755) …
Modified filter.tendsto_principalView on Github →2020-01-28 11:49
src/order/filter/basic.lean
chore(*): use filter.eventually (#1897) …
Modified filter.tendsto_principalView on Github →