Theorem polynomialFunctions.eq_adjoin_X

Modification history