Mathlib v3 is deprecated. Go to Mathlib v4

Theorem algebraic_geometry.mem_Spec_ess_image

Modification history

2022-08-01 15:32
src/algebraic_geometry/AffineScheme.lean
refactor(category_theory): custom structure for full_subcategory (#14767) …
Added algebraic_geometry.mem_Spec_ess_imageView on Github →