Def CategoryTheory.Paths.liftNatTrans

Modification history