Theorem Cardinal.IsInaccessible.mk

Modification history

2026-01-15 12:34
Mathlib/SetTheory/Cardinal/Regular.lean
chore: remove declarations deprecated between 2021-01-15 and 2025-07-15 (#33988) …
Deleted Cardinal.IsInaccessible.mkView on Github →
2025-03-12 09:09
Mathlib/SetTheory/Cardinal/Regular.lean
chore(whitespace): some more changes in whitespace (#22840) …
Modified Cardinal.IsInaccessible.mkView on Github →
2025-03-11 00:25
Mathlib/SetTheory/Cardinal/Cofinality.lean
chore(SetTheory/Cardinal/Cofinality): split file (#21972) …
Modified Cardinal.IsInaccessible.mkView on Github →
2025-02-20 08:39
Mathlib/SetTheory/Cardinal/Cofinality.lean
chore(SetTheory/Cardinal/Cofinality): make `IsStrongLimit` into a structure (#21971) …
Modified Cardinal.IsInaccessible.mkView on Github →
2023-02-24 13:27
Mathlib/SetTheory/Cardinal/Cofinality.lean
feat port: SetTheory.Cardinal.Cofinality (#2479)
Added Cardinal.IsInaccessible.mkView on Github →