Def Polynomial.eval₂RingHom'

Modification history