Skip to content

Revamp Semigroup doc#1442

Merged
adelbertc merged 2 commits intotypelevel:masterfrom adelbertc:doc-semigroupsandmonoidsNov 16, 2016

Commits