Mathlib v3 is deprecated. Go to Mathlib v4

Commit 2022-11-18 07:46 c6dd521e

View on Github →

feat(combinatorics/quiver/*) Notation for prefunctors (#17576)

Estimated changes

Modified src/category_theory/groupoid/free_groupoid.lean

modified def category_theory.free_groupoid_functor

modified def category_theory.groupoid.free.lift

modified theorem category_theory.groupoid.free.lift_spec

modified theorem category_theory.groupoid.free.lift_unique

modified def category_theory.groupoid.free.of

Modified src/category_theory/path_category.lean

modified def category_theory.paths.lift

modified theorem category_theory.paths.lift_cons

modified theorem category_theory.paths.lift_nil

modified theorem category_theory.paths.lift_spec

modified theorem category_theory.paths.lift_to_path

modified theorem category_theory.paths.lift_unique

modified def category_theory.paths.of

modified theorem category_theory.prefunctor.map_path_comp'

Modified src/combinatorics/quiver/basic.lean

Modified src/combinatorics/quiver/path.lean