Theorem CategoryTheory.IsPullback.paste_twist_right

Modification history

2026-05-10 12:46
Mathlib/CategoryTheory/Limits/Shapes/Pullback/IsPullback/Basic.lean
feat(AlgebraicGeometry): rank of finite flat morphism (#38090) …
Added CategoryTheory.IsPullback.paste_twist_rightView on Github →