Theorem CategoryTheory.Paths.lift_unique

Modification history