Def AlgebraicGeometry.AffineScheme.equivCommRingCat

Modification history

2023-06-29 07:18

Mathlib/AlgebraicGeometry/AffineScheme.lean

feat: port AlgebraicGeometry.AffineScheme (#5394)

Added AlgebraicGeometry.AffineScheme.equivCommRingCat View on Github →