Def Ordinal.cof

Modification history

2024-10-22 17:17

Mathlib/SetTheory/Cardinal/Cofinality.lean

chore(SetTheory/Cardinal/Cofinality): tweak universes of `RelIso.cof_eq_lift` (#18042) …

Modified Ordinal.cof View on Github →

2023-02-24 13:27

Mathlib/SetTheory/Cardinal/Cofinality.lean

feat port: SetTheory.Cardinal.Cofinality (#2479)

Added Ordinal.cof View on Github →