Mathlib Changelog
v4
Changelog
About
Github
Def
CategoryTheory.Limits.spanUnop
Modification history
2026-02-17 21:47
Mathlib/CategoryTheory/Limits/Shapes/Opposites/Pullbacks.lean
chore(CategoryTheory/Limits): add instances for `HasPullback f.op g.op` and `HasPushout f.op g.op` (#35453) …
Added
CategoryTheory.Limits.spanUnop
View on Github →