Def CategoryTheory.NatTrans.equivOfCompFullyFaithful

Modification history