Theorem Ordinal.cof_type_lt

Modification history

2024-11-12 03:03

Mathlib/SetTheory/Cardinal/Cofinality.lean

refactor(SetTheory/Cardinal/Cofinality): deprecate `StrictOrder.cof` (#18043) …

Added Ordinal.cof_type_lt View on Github →