Theorem CategoryTheory.MorphismProperty.pullbackLift_fst_snd

Modification history

2026-03-27 11:45
Mathlib/CategoryTheory/MorphismProperty/Limits.lean
chore(CategoryTheory/MorphismProperty): dualise `IsStableUnderBaseChangeAlong` and related declarations (#36900) …
Added CategoryTheory.MorphismProperty.pullbackLift_fst_sndView on Github →