Theorem CategoryTheory.CommAlgCat.ofHom_id

Modification history