Def AlgebraicGeometry.Spec.locallyRingedSpaceObj

Modification history

2026-02-10 19:14
Mathlib/AlgebraicGeometry/Spec.lean
chore(AlgebraicGeometry): refactor `structureSheaf` (#35090) …
Modified AlgebraicGeometry.Spec.locallyRingedSpaceObjView on Github →
2024-04-30 23:37
Mathlib/AlgebraicGeometry/Spec.lean
perf(AlgebraicGeometry.Spec): add explicit universe annotations (#12557) …
Modified AlgebraicGeometry.Spec.locallyRingedSpaceObjView on Github →
2023-06-14 02:02
Mathlib/AlgebraicGeometry/Spec.lean
feat: port AlgebraicGeometry.Spec (#4599)
Added AlgebraicGeometry.Spec.locallyRingedSpaceObjView on Github →