Mathlib Changelog
v4
Changelog
About
Github
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.opEquiv
View 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.opEquiv
View on Github →