Mathlib v3 is deprecated. Go to Mathlib v4

Theorem algebraic_geometry.Scheme.pullback.glued_lift_pullback_map_fst

Modification history

2022-01-24 16:03
src/algebraic_geometry/pullbacks.lean
feat (algebraic_geometry): Constructions of fibred products of schemes (#11450) …
Added algebraic_geometry.Scheme.pullback.glued_lift_pullback_map_fstView on Github →