The "one-hole" is in the discrete types, not the potentially continuous values.
Crazy where operator overloading will get you. If there are postmodern math papers I feel like this is one of them
The "one-hole" is in the discrete types, not the potentially continuous values.