Theorem JacobsonSpace.closure_inter_closedPoints_eq_closure

Modification history

2026-02-17 07:11
Mathlib/Topology/JacobsonSpace.lean
feat(AlgebraicGeometry): abelian varieties are abelian (#35354) …
Added JacobsonSpace.closure_inter_closedPoints_eq_closureView on Github →