Theorem MvPolynomial.bind₂_C_right

Modification history