Def CategoryTheory.Full.ofCompFaithful

Modification history