Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-09-02 06:16 6c247315

View on Github →

feat(order/bounded_lattice): ne_(bot|top)_iff_exists (#8960) Like ne_zero_iff_exists

Estimated changes