Def CategoryTheory.Functor.objObjPreimageIso

Modification history