remove outdated references

pi-base · Oct 14, 2024 · 9c0cf70 · 9c0cf70
1 parent 5207720
commit 9c0cf70
Show file tree

Hide file tree

Showing 2 changed files with 0 additions and 4 deletions.
diff --git a/properties/P000075.md b/properties/P000075.md
@@ -8,8 +8,6 @@ refs:
  name: Spectral spaces (Dickmann, Schwartz, Tressl)
 - mr: 861951
  name: Stone spaces (Johnstone)
-- mr: 1077251
- name: General topology I (Arkhangelʹskiĭ, Pontryagin)
 - wikipedia: Spectral_space
  name: Spectral space on Wikipedia
 ---

diff --git a/theorems/T000531.md b/theorems/T000531.md
@@ -9,8 +9,6 @@ refs:
  name: Stone spaces (Johnstone)
 - wikipedia: Stone's_representation_theorem_for_Boolean_algebras
  name: Stone's representation theorem for Boolean algebras on Wikipedia
-- wikipedia: Boolean_ring
- name: Boolean ring on Wikipedia
 - wikipedia: Spectral_space
  name: Spectral space on Wikipedia
 ---