Theorem CategoryTheory.Functor.fullyFaithfulCancelRight_hom_app

Modification history