summaryrefslogtreecommitdiff
path: root/library/algebra/quasigroup.tex
AgeCommit message (Collapse)Author
41 hoursMigrate quasigroups to exact checkingadelon
2024-02-10Initial commitadelon