Def CategoryTheory.Square.mapFunctor

Modification history