Theorem CategoryTheory.CommAlgCat.hom_ofHom

Modification history