Commit 2025-07-31 11:55 d676d1b9

View on Github →

feat(GroupTheory/ArchimedeanDensely): locally finite linearly ordered groups are mul archimedean (#27410) for CFT workshop

Estimated changes