Theorem CategoryTheory.CommAlgCat.forget_obj

Modification history