Theorem Cardinal.not_isSuccLimit_natCast

Modification history

2024-09-18 06:51

Mathlib/SetTheory/Cardinal/Basic.lean

chore(SetTheory/Cardinal/Basic): `Cardinal.IsLimit` → `IsSuccLimit` (#16899)

Added Cardinal.not_isSuccLimit_natCast View on Github →