Def Quiver.Hom.opEquiv

Modification history

2025-11-25 01:06
Mathlib/Combinatorics/Quiver/Basic.lean
feat(translate): automatically infer the `(reorder := ...)` argument (#31902) …
Modified Quiver.Hom.opEquivView on Github →
2024-10-17 15:41
Mathlib/Combinatorics/Quiver/Basic.lean
feat(CategoryTheory/Shift): shifted morphisms in the opposite category (#17546) …
Added Quiver.Hom.opEquivView on Github →