Theorem AlgebraicGeometry.Scheme.affineBasicOpen_le

Modification history

2025-02-04 06:23
Mathlib/AlgebraicGeometry/AffineScheme.lean
feat(AlgebraicGeometry): ideal sheaf data on a scheme (#21052)
Added AlgebraicGeometry.Scheme.affineBasicOpen_leView on Github →