Def CategoryTheory.Functor.Full.ofCompFaithfulIso

Modification history