Structure Cardinal.IsStrongLimit

Modification history

2025-03-18 10:57

Mathlib/SetTheory/Cardinal/Basic.lean

chore(SetTheory): split `Cardinal/Basic.lean` (#23014) …

Modified Cardinal.IsStrongLimit View on Github →

2025-03-06 22:04

Mathlib/SetTheory/Cardinal/Basic.lean

chore(SetTheory/Cardinal/Basic): move `IsStrongLimit` (#19723) …

Modified Cardinal.IsStrongLimit View on Github →

2025-02-20 08:39

Mathlib/SetTheory/Cardinal/Cofinality.lean

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

Added Cardinal.IsStrongLimit View on Github →