Theorem RingHom.toNatAlgHom_apply

Modification history