Skip to content

Make definition of Monoid MaxVars cannonical #120

Make definition of Monoid MaxVars cannonical

Make definition of Monoid MaxVars cannonical #120