Theorem PrimitiveSpectrum.preimage_upperClosure_compl_finset

Modification history

2025-07-18 08:35
Mathlib/Topology/Order/HullKernel.lean
feat(Topology/Order/HullKernel): Add the Hull-Kernel Topology (#26336) …
Added PrimitiveSpectrum.preimage_upperClosure_compl_finsetView on Github →