Definition at line 94 of file FreeAlgebraQuotient.hpp.
References monoid(), and FreeMonoid::numVars().