Theorem AlgebraicGeometry.SheafedSpace.ext

Modification history

2025-12-18 13:14
Mathlib/Geometry/RingedSpace/SheafedSpace.lean
refactor(CategoryTheory): make morphisms in full subcategories a 1-field structure (#26446) …
Modified AlgebraicGeometry.SheafedSpace.extView on Github →
2024-08-05 08:52
Mathlib/Geometry/RingedSpace/SheafedSpace.lean
chore: move toolchain to v4.11.0-rc1 (#15513)
Modified AlgebraicGeometry.SheafedSpace.extView on Github →
2024-07-24 08:17
Mathlib/Geometry/RingedSpace/SheafedSpace.lean
chore: fix implicitness of SheafedSpace.ext (#15087)
Modified AlgebraicGeometry.SheafedSpace.extView on Github →
2023-06-20 05:13
Mathlib/AlgebraicGeometry/SheafedSpace.lean
feat: more consistent use of `ext`, and updating porting notes. (#5242)
Added AlgebraicGeometry.SheafedSpace.extView on Github →