Theorem CategoryTheory.Paths.lift_spec

Modification history