Def algebraic_geometry.Scheme.pullback.open_cover_of_base'

Modification history

2022-01-31 20:42

src/algebraic_geometry/pullbacks.lean

feat(algebraic_geometry): Open covers of the fibred product. (#11733)

Added algebraic_geometry.Scheme.pullback.open_cover_of_base'View on Github →