Theorem Cardinal.IsRegular.nat_lt

Modification history

2024-04-03 22:32
Mathlib/SetTheory/Cardinal/Cofinality.lean
feat : new properties of the CardinalInterFilter (#11758) …
Added Cardinal.IsRegular.nat_ltView on Github →