Theorem Cardinal.lt_cof_ord_power

Modification history

2026-04-07 04:49
Mathlib/SetTheory/Cardinal/Cofinality.lean
chore: golf `Cardinal.lt_power_cof`, rename to `Cardinal.lt_power_cof_ord` (#36926) …
Added Cardinal.lt_cof_ord_powerView on Github →