Commit 2023-11-17 13:15 03c06bef

View on Github →

docs (Order/GaloisConnection): typo (#8447)

Estimated changes