Def AlgebraicGeometry.Scheme.Pullback.gluedLiftPullbackMap

Modification history

2023-06-29 18:35

Mathlib/AlgebraicGeometry/Pullbacks.lean

feat: port AlgebraicGeometry.Pullbacks (#5583)

Added AlgebraicGeometry.Scheme.Pullback.gluedLiftPullbackMap View on Github →