Def CategoryTheory.Functor.Full.ofCompFaithful

Modification history