# Commit 2022-04-21 12:09 82ef19af

View on Github →feat(category_theory/path_category): canonical quotient of a path category (#13159)

Mathlib v3 is deprecated. Go to Mathlib v4

feat(category_theory/path_category): canonical quotient of a path category (#13159)