Theorem CategoryTheory.Limits.Multifork.IsLimit.hom_ext

Modification history

2024-06-05 03:13

Mathlib/CategoryTheory/Limits/Shapes/Multiequalizer.lean

feat(CategoryTheory/Sites): characterization of sheaves using 1-hypercovers (#13004) …

Added CategoryTheory.Limits.Multifork.IsLimit.hom_ext View on Github →