arithmetic/derived/BigIntegerPolynomialFmtLex.m3


generated by m3build

MODULE  BigIntegerPolynomialFmtLex = PolynomialFmtLex (BigInteger, BigIntegerFmtLex, BigIntegerVectorFmtLex) END BigIntegerPolynomialFmtLex.