Theorem subsingleton_image_closure_of_finite_of_isPreirreducible

Modification history

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