Theorem CategoryTheory.CommAlgCat.ofHom_apply

Modification history