Theorem MvPolynomial.bind₂_comp_bind₂

Modification history