Theorem CategoryTheory.CommAlgCat.comp_apply

Modification history