agda-unimath icon indicating copy to clipboard operation
agda-unimath copied to clipboard

Published 20 hours ago • verified publisher icon UniMath

Quasigroups

Open djspacewhale opened this issue 9 months ago • 0 comments

Introducing a new folder that, so far, defines quasigroups and loops (unital quasigroups).

djspacewhale avatar Feb 15 '25 06:02 djspacewhale