Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Def
algebraic_geometry.Scheme.pullback.V
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.V
View on Github →