Def CategoryTheory.ThinSkeleton.map₂ObjMap

Modification history