Theorem CategoryTheory.CommAlgCat.inv_hom_apply

Modification history