Theorem CategoryTheory.Under.forget_obj

Modification history