Def CategoryTheory.equivOfFullyFaithful

Modification history