Mathlib v3 is deprecated. Go to Mathlib v4

Theorem quiver.single_obj.path_equiv_list_symm_cons

Modification history

2023-01-18 11:08
src/combinatorics/quiver/single_obj.lean
feat(combinatorics/quiver/single_obj): single object quivers (#17846) …
Added quiver.single_obj.path_equiv_list_symm_consView on Github →