Theorem CategoryTheory.fullyFaithfulCancelRight_inv_app

Modification history