Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-10-23 13:05 0437938e

View on Github →

chore(order/*): golf 2 proofs (#17095)

Estimated changes

deleted theorem order_iso.is_atomic_iff
deleted theorem order_iso.is_coatomic_iff