Theorem AlgebraicGeometry.AffineSpace.spec_le_iff

Modification history

2025-08-01 21:30
Mathlib/AlgebraicGeometry/AffineSpace.lean
chore: tidy various files (#27630)
Modified AlgebraicGeometry.AffineSpace.spec_le_iffView on Github →
2025-07-27 10:52
Mathlib/AlgebraicGeometry/AffineSpace.lean
feat(AlgebraicGeometry): Add global preorder instance for schemes (#26204) …
Added AlgebraicGeometry.AffineSpace.spec_le_iffView on Github →