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