Theorem Quiver.heq_of_homOfEq_ext

Modification history

2025-11-13 23:13
Mathlib/Combinatorics/Quiver/Basic.lean
feat: `to_dual` attribute (#27887) …
Modified Quiver.heq_of_homOfEq_extView on Github →
2025-02-26 16:56
Mathlib/Combinatorics/Quiver/Basic.lean
feat(AlgebraicTopology/NerveAdjunction): nerve adjunction infrastructure (#21885) …
Added Quiver.heq_of_homOfEq_extView on Github →