Def CategoryTheory.exactPairingOfFullyFaithful

Modification history