Def CategoryTheory.exactPairingOfFaithful

Modification history