Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2018-09-20 17:41 e0542773

View on Github →

feat(order/bounded_lattice): eq_top_mono

Estimated changes

added theorem lattice.eq_bot_mono
added theorem lattice.eq_top_mono