Mathlib v3 is deprecated. Go to Mathlib v4

Theorem filter.comap_supr

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.comap_supr View on Github →