Def algebraic_geometry.Scheme.pullback.t'

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.t'View on Github →