remove problem links

UniMath · Feb 13, 2025 · f7e9ff4 · f7e9ff4
1 parent 30b08d9
commit f7e9ff4
Showing 1 changed file with 14 additions and 14 deletions.
diff --git a/src/literature/100-theorems.lagda.md b/src/literature/100-theorems.lagda.md
@@ -11,7 +11,7 @@ module literature.100-theorems where
 
 ## The list
 
-### 3. The Denumerability of the Rational Numbers [(#3)](https://www.cs.ru.nl/~freek/100/#3) {#3}
+### 3. The Denumerability of the Rational Numbers {#3}
 
 **Author:** [Fredrik Bakke](https://www.ntnu.edu/employees/fredrik.bakke)
 
@@ -20,7 +20,7 @@ open import elementary-number-theory.rational-numbers using
   ( is-countable-ℚ)
 ```
 
-### 11. The Infinitude of Primes [(#11)](https://www.cs.ru.nl/~freek/100/#11) {#11}
+### 11. The Infinitude of Primes {#11}
 
 **Author:** [Egbert Rijke](https://egbertrijke.github.io)
 
@@ -29,11 +29,11 @@ open import elementary-number-theory.infinitude-of-primes using
   ( infinitude-of-primes-ℕ)
 ```
 
-### 22. The Non-Denumerability of the Continuum [(#22)](https://www.cs.ru.nl/~freek/100/#22) {#22}
+### 22. The Non-Denumerability of the Continuum {#22}
 
 > This is not yet formalized.
 
-### 25. Schröder–Bernstein Theorem [(#25)](https://www.cs.ru.nl/~freek/100/#25) {#25}
+### 25. Schröder–Bernstein Theorem {#25}
 
 **Author:** [Elif Uskuplu](https://elifuskuplu.github.io)
 
@@ -49,7 +49,7 @@ open import foundation.cantor-schroder-bernstein-escardo using
   ( Cantor-Schröder-Bernstein)
 ```
 
-### 44. The Binomial Theorem [(#44)](https://www.cs.ru.nl/~freek/100/#44) {#44}
+### 44. The Binomial Theorem {#44}
 
 **Author:** [Egbert Rijke](https://egbertrijke.github.io)
 
@@ -68,7 +68,7 @@ open import elementary-number-theory.binomial-theorem-natural-numbers using
   ( binomial-theorem-ℕ)
 ```
 
-### 52. The Number of Subsets of a Set [(#52)](https://www.cs.ru.nl/~freek/100/#52) {#52}
+### 52. The Number of Subsets of a Set {#52}
 
 **Author:** [Egbert Rijke](https://egbertrijke.github.io)
 
@@ -77,7 +77,7 @@ open import univalent-combinatorics.decidable-subtypes using
   ( number-of-elements-decidable-subtype-is-finite)
 ```
 
-### 58. Formula for the number of combinations [(#58)](https://www.cs.ru.nl/~freek/100/#58) {#58}
+### 58. Formula for the number of combinations {#58}
 
 **Author:** [Egbert Rijke](https://egbertrijke.github.io)
 
@@ -86,7 +86,7 @@ open import univalent-combinatorics.binomial-types using
   ( has-cardinality-binomial-type)
 ```
 
-### 60. Bezout's Lemma [(#60)](https://www.cs.ru.nl/~freek/100/#60) {#60}
+### 60. Bezout's Lemma {#60}
 
 **Author:** [Bryan Lu](https://blu-bird.github.io)
 
@@ -101,7 +101,7 @@ open import elementary-number-theory.bezouts-lemma-natural-numbers using
   ( bezouts-lemma-ℕ)
 ```
 
-### 63. Cantor's Theorem [(#63)](https://www.cs.ru.nl/~freek/100/#63) {#63}
+### 63. Cantor's Theorem {#63}
 
 **Author:** [Egbert Rijke](https://egbertrijke.github.io)
 
@@ -110,7 +110,7 @@ open import foundation.cantors-theorem using
   ( theorem-Cantor)
 ```
 
-### 69. Greatest Common Divisor Algorithm [(#69)](https://www.cs.ru.nl/~freek/100/#69) {#69}
+### 69. Greatest Common Divisor Algorithm {#69}
 
 **Author:** [Egbert Rijke](https://egbertrijke.github.io)
 
@@ -120,7 +120,7 @@ open import
   ( GCD-ℕ)
 ```
 
-### 74. The Principle of Mathematical Induction [(#74)](https://www.cs.ru.nl/~freek/100/#74) {#74}
+### 74. The Principle of Mathematical Induction {#74}
 
 **Author:** [Egbert Rijke](https://egbertrijke.github.io)
 
@@ -129,7 +129,7 @@ open import elementary-number-theory.natural-numbers using
   ( ind-ℕ)
 ```
 
-### 80. The Fundamental Theorem of Arithmetic [(#80)](https://www.cs.ru.nl/~freek/100/#80) {#80}
+### 80. The Fundamental Theorem of Arithmetic {#80}
 
 **Author:** [Victor Blanchi](https://github.com/VictorBlanchi)
 
@@ -138,7 +138,7 @@ open import elementary-number-theory.fundamental-theorem-of-arithmetic using
   ( fundamental-theorem-arithmetic-list-ℕ)
 ```
 
-### 91. The Triangle Inequality [(#91)](https://www.cs.ru.nl/~freek/100/#91) {#91}
+### 91. The Triangle Inequality {#91}
 
 **Author:** [malarbol](https://github.com/malarbol)
 
@@ -147,7 +147,7 @@ open import real-numbers.metric-space-of-real-numbers using
   ( is-triangular-premetric-leq-ℝ)
 ```
 
-### 96. Principle of Inclusion/Exclusion [(#96)](https://www.cs.ru.nl/~freek/100/#96) {#96}
+### 96. Principle of Inclusion/Exclusion {#96}
 
 > This is not yet formalized.