Skip to content

Revamp Semigroup doc#1442

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

Commits

Commits on Oct 27, 2016

Commits on Oct 30, 2016