Theorem AlgebraicGeometry.Scheme.subcanonical_zariskiTopology

Modification history

2024-10-31 18:38
Mathlib/AlgebraicGeometry/Sites/BigZariski.lean
chore(CategoryTheory/Sites): make `Subcanonical` a class (#18186)
Deleted AlgebraicGeometry.Scheme.subcanonical_zariskiTopologyView on Github →
2024-04-09 08:07
Mathlib/AlgebraicGeometry/Sites/BigZariski.lean
feat: big Zariski is subcanonical (#12028)
Added AlgebraicGeometry.Scheme.subcanonical_zariskiTopologyView on Github →