5 kyu

Nat in the mirror: "Not finite" implies "Infinite"

Description
Loading description...
Theorem Proving
Mathematics
Algorithms