Theorem CategoryTheory.Limits.WalkingMulticospan.functor_ext

Modification history

2026-03-03 13:11
Mathlib/CategoryTheory/Limits/Shapes/Multiequalizer.lean
feat(CategoryTheory/Sites): isomorphic hypercovers have equivalent sheaf conditions (#35901) …
Added CategoryTheory.Limits.WalkingMulticospan.functor_extView on Github →