Theorem CategoryTheory.MorphismProperty.IsStableUnderBaseChange.of_forall_exists_isPullback

Modification history

2026-02-09 14:35
Mathlib/CategoryTheory/MorphismProperty/Limits.lean
feat(Topology/Category): the standard Grothendieck topology on `TopCat` (#34979) …
Added CategoryTheory.MorphismProperty.IsStableUnderBaseChange.of_forall_exists_isPullbackView on Github →