Mathlib v3 is deprecated. Go to Mathlib v4

Theorem filter.tendsto_pure_pure

Modification history

2018-10-19 00:03
order/filter.lean
feat(analysis/topology): add type class for discrete topological spaces
Added filter.tendsto_pure_pureView on Github →