Def Cardinal.IsInaccessible

Modification history

2023-02-24 13:27

Mathlib/SetTheory/Cardinal/Cofinality.lean

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

Added Cardinal.IsInaccessible View on Github →