Mathlib Changelog
v3
Changelog
About
Github
Mathlib v3 is deprecated.
Go to Mathlib v4
Theorem
algebraic_geometry.Scheme.pullback.has_pullback_of_cover
Modification history
2022-01-28 08:38
src/algebraic_geometry/pullbacks.lean
feat(algebraic_geometry): Fiber products of schemes (#10605)
Added
algebraic_geometry.Scheme.pullback.has_pullback_of_cover
View on Github →