Structure AlgebraicGeometry.PresheafedSpace.{u}

Modification history

2026-02-24 10:38
Mathlib/Geometry/RingedSpace/PresheafedSpace.lean
chore: bump toolchain to v4.29.0-rc2 (#35708)
Added AlgebraicGeometry.PresheafedSpace.{u}View on Github →