Theorem CategoryTheory.CommAlgCat.id_apply

Modification history