Skip to content

feat(SetTheory/Cardinal): add cardinality bounds for direct limits - #42125

Open
NoneMore wants to merge 7 commits into
leanprover-community:masterfrom
NoneMore:direct-limit-cardinality
Open

NoneMore wants to merge 7 commits into
leanprover-community:masterfrom
NoneMore:direct-limit-cardinality

Update Mathlib/SetTheory/Cardinal/DirectLimit.lean

1213792
Select commit
Loading
Failed to load commit list.
Sign in for the full log view