Theorem CategoryTheory.MorphismProperty.baseChange_map'

Modification history

2026-03-27 11:45
Mathlib/CategoryTheory/MorphismProperty/Limits.lean
chore(CategoryTheory/MorphismProperty): dualise `IsStableUnderBaseChangeAlong` and related declarations (#36900) …
Deleted CategoryTheory.MorphismProperty.baseChange_map'View on Github →
2025-12-03 07:14
Mathlib/CategoryTheory/MorphismProperty/Limits.lean
refactor: MorphismProperty.HasPullbacksAlong (#31231) …
Added CategoryTheory.MorphismProperty.baseChange_map'View on Github →