Theorem CategoryTheory.fullyFaithfulCancelRight_hom_app

Modification history