Theorem Polynomial.isLocalRingHom_expand

Modification history