Theorem CategoryTheory.IsPullback.map_fst_comp_fst_snd_comp_fst

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.map_fst_comp_fst_snd_comp_fstView on Github →