Theorem CategoryTheory.CommAlgCat.hom_ext

Modification history