Theorem CategoryTheory.Limits.hasPullback_symmetry_of_hasPullbacksAlong

Modification history

2025-12-03 07:14
Mathlib/CategoryTheory/Limits/Shapes/Pullback/HasPullback.lean
refactor: MorphismProperty.HasPullbacksAlong (#31231) …
Added CategoryTheory.Limits.hasPullback_symmetry_of_hasPullbacksAlongView on Github →