Theorem CategoryTheory.Paths.lift_cons

Modification history