Theorem CategoryTheory.CommAlgCat.forget_map

Modification history