Theorem CategoryTheory.CommAlgCat.ofHom_hom

Modification history