Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2021-05-14 04:49 bf2750e5

View on Github →

chore(order/atoms): ask for the correct instances (#7582) replace bounded_lattice by order_bot/order_top where it can

Estimated changes

modified theorem is_atom_dual_iff_is_coatom
modified theorem is_coatom_dual_iff_is_atom
modified theorem order_iso.is_atom_iff
modified theorem order_iso.is_atomic_iff
modified theorem order_iso.is_coatom_iff
modified theorem order_iso.is_coatomic_iff
modified theorem order_iso.is_simple_lattice