Theorem AlgebraicGeometry.SheafedSpace.ext

Modification history

2024-08-05 08:52

Mathlib/Geometry/RingedSpace/SheafedSpace.lean

chore: move toolchain to v4.11.0-rc1 (#15513)

Modified AlgebraicGeometry.SheafedSpace.ext View on Github →

2024-07-24 08:17

Mathlib/Geometry/RingedSpace/SheafedSpace.lean

chore: fix implicitness of SheafedSpace.ext (#15087)

Modified AlgebraicGeometry.SheafedSpace.ext View 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.ext View on Github →