Theorem Pi.constRingHom_eq_algebraMap

Modification history