Mathlib v3 is deprecated. Go to Mathlib v4

Theorem filter.seq_assoc

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