Theorem Cardinal.IsStrongLimit.univ

Modification history

2025-07-06 21:54
Mathlib/SetTheory/Ordinal/Basic.lean
feat: simple lemmas on `Cardinal.univ` (#26818)
Added Cardinal.IsStrongLimit.univView on Github →