Theorem Polynomial.algHom_eval₂_algebraMap

Modification history