Langlib
Mathlib
.
SetTheory
.
Cardinal
.
Cofinality
Search
return to top
source
Imports
Init
Mathlib.Order.Cofinal
Mathlib.SetTheory.Cardinal.Arithmetic
Mathlib.SetTheory.Ordinal.FixedPoint
Imported by
Langlib