Theorem CategoryTheory.CommAlgCat.hom_inv_apply

Modification history