Theorem CategoryTheory.Limits.hasPushouts_symmetry_of_hasPushoutsAlong

Modification history

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