Theorem Quiver.heq_of_homOfEq_ext

Modification history

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 →