Mathlib v3 is deprecated. Go to Mathlib v4

Theorem algebraic_geometry.Scheme.open_cover.glued_cover_t'_fst_snd

Modification history

2022-01-14 13:04
src/algebraic_geometry/gluing.lean
feat(algebraic_geometry): Gluing morphisms from an open cover. (#11441)
Added algebraic_geometry.Scheme.open_cover.glued_cover_t'_fst_sndView on Github →