Theorem Ordinal.isInitial_add_one

Modification history

2026-10-17 10:55

Mathlib/SetTheory/Cardinal/Aleph.lean

chore(SetTheory/Cardinal/Aleph): fix some theorem names (#44859) …

Added Ordinal.isInitial_add_one View on Github →