Def CategoryTheory.Functor.fullyFaithfulUncurry

Modification history