Def CategoryTheory.Paths.liftNatIso

Modification history