Theorem Polynomial.addHom_ext'

Modification history