Theorem CategoryTheory.CommAlgCat.ofHom_comp

Modification history