Def CategoryTheory.natTransOfCompFullyFaithful

Modification history