Mathlib v3 is deprecated. Go to Mathlib v4

Theorem filter.pure_seq_eq_map

Modification history

2018-09-21 17:46

order/filter.lean

feat(analysis/topology, order/filter): theorems for the applicative structure on filter; add list topology

Added filter.pure_seq_eq_map View on Github →