Commit 2026-05-25 23:43 75adafca

View on Github →

chore: rename Order.cof_eq → Order.exists_cof_eq (#39851)

Estimated changes

modified theorem Order.aleph0_le_cof_iff
deleted theorem Order.cof_eq
modified theorem Order.cof_lt_aleph0_iff
added theorem Order.exists_cof_eq
deleted theorem Ordinal.ord_cof_eq