Theorem CommRingCat.toAlgHom_apply

Modification history