Mathlib v3 is deprecated. Go to Mathlib v4

Theorem filter.mem_map_seq_iff

Modification history

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