Def algebraic_geometry.AffineScheme.mk

Modification history

2022-08-01 15:32
src/algebraic_geometry/AffineScheme.lean
refactor(category_theory): custom structure for full_subcategory (#14767) …
Added algebraic_geometry.AffineScheme.mkView on Github →