Def CategoryTheory.isoEquivOfFullyFaithful

Modification history