Skip to content

make Monoid MaxVars cannonical #116

make Monoid MaxVars cannonical

make Monoid MaxVars cannonical #116