Theorem CategoryTheory.ConcreteCategory.forget₂_comp_apply

Modification history