Theorem AlgebraicGeometry.Scheme.le_iff_specializes

Modification history

2025-07-27 10:52
Mathlib/AlgebraicGeometry/Scheme.lean
feat(AlgebraicGeometry): Add global preorder instance for schemes (#26204) …
Added AlgebraicGeometry.Scheme.le_iff_specializesView on Github →