Def CategoryTheory.Full.ofCompFaithfulIso

Modification history