Def Polynomial.eval₂AlgHom'

Modification history