Def Cardinal.IsStrongLimit

Modification history

2025-02-20 08:39

Mathlib/SetTheory/Cardinal/Cofinality.lean

chore(SetTheory/Cardinal/Cofinality): make `IsStrongLimit` into a structure (#21971) …

Deleted Cardinal.IsStrongLimit View on Github →

2023-02-24 13:27

Mathlib/SetTheory/Cardinal/Cofinality.lean

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

Added Cardinal.IsStrongLimit View on Github →