Theorem Pi.constAlgHom_eq_algebra_ofId

Modification history