Theorem Cardinal.IsRegular.pos

Modification history

2023-02-24 13:27

Mathlib/SetTheory/Cardinal/Cofinality.lean

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

Added Cardinal.IsRegular.pos View on Github →