Def AlgebraicGeometry.Scheme.empty.{u}

Modification history

2024-05-07 22:42

Mathlib/AlgebraicGeometry/Scheme.lean

perf(BundledCats): more explicit universe annotations (#12741) …

Deleted AlgebraicGeometry.Scheme.empty.{u}View on Github →

2023-06-14 15:16

Mathlib/AlgebraicGeometry/Scheme.lean

feat: port AlgebraicGeometry.Scheme (#5040)

Added AlgebraicGeometry.Scheme.empty.{u}View on Github →