Commit 2024-09-24 06:31 1558c09c

View on Github →

chore(SetTheory/Ordinal/Basic): lift.initialSegliftInitialSeg (#16995)

Estimated changes