Theorem CategoryTheory.MorphismProperty.baseChange_map'

Modification history

2025-12-03 07:14
Mathlib/CategoryTheory/MorphismProperty/Limits.lean
refactor: MorphismProperty.HasPullbacksAlong (#31231) …
Added CategoryTheory.MorphismProperty.baseChange_map'View on Github →