Def AlgebraicGeometry.SheafedSpace.unit

Modification history

2023-05-26 23:07

Mathlib/AlgebraicGeometry/SheafedSpace.lean

feat: port AlgebraicGeometry.SheafedSpace (#4405)

Added AlgebraicGeometry.SheafedSpace.unit View on Github →