Def CategoryTheory.natIsoOfCompFullyFaithful

Modification history