Commit 2024-10-26 14:30 8b008cbc

View on Github →

feat(SetTheory/Cardinal/Basic): out_lift_equiv (#16943) Prove out_lift_equiv.

Estimated changes