ColDoc
Home
(current)
😑 Login
Search
EDB
— 25D
↑
←
→
↓
View
Tools
View
Italian
Esercizi
[25D]
Prerequisiti:
[24D]
↺
↻
,
[26J]
↺
↻
.
Dimostrate che
\[ ∀ x,y∈ ℕ~ ,~ x⊆ y~ ∧ ~ x≠ y ⇒ Sx⊆ y\quad . \]
Soluzione
1
[279]
↺
↻
[
[25F]
↺
↻
]
Download PDF
Authors:
"Mennucci , Andrea C. G."
.
Bibliography
—
Book index
Managing blob in: Multiple languages
This content is available in:
Italian
English