Skip to content

Add piecemeal Monoid import#1191

Merged
peterneyens merged 1 commit intotypelevel:masterfrom yilinwei:patch-1Jul 13, 2016

Commits

Commits on Jul 13, 2016