Mathlib v3 is deprecated. Go to Mathlib v4

Theorem filter.vmap_bot

Modification history

2018-09-07 17:43

order/filter.lean

order(filter): rename `vmap` to `comap`

Deleted filter.vmap_bot View on Github →

2017-08-10 16:36

algebra/lattice/filter.lean

construct reals as complete, linear ordered field

Added filter.vmap_bot View on Github →