Theorem CommRingCat.toAlgHom_id

Modification history