Mathlib Changelog
v4
Changelog
About
Github
Commit
2024-10-26 14:30
8b008cbc
View on Github →
feat(SetTheory/Cardinal/Basic): out_lift_equiv (
#16943
) Prove
out_lift_equiv
.
Estimated changes
Modified
Mathlib/SetTheory/Cardinal/Basic.lean
added
theorem
Cardinal.out_lift_equiv