Def AlgebraicGeometry.Scheme.empty

Modification history

2024-05-07 22:42

Mathlib/AlgebraicGeometry/Scheme.lean

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

Added AlgebraicGeometry.Scheme.empty View on Github →