|
|
|
|
|
|
by lupire
349 days ago
|
|
|
Most of math is not nearly formalized to this extent. This paper shows that this hypothesized set of mathematical objects is actually now hypothesized to be a slightly smaller set of objects. Most papers don't care or depend on the distinction this paper creates. One hopes that people who do care are paying attention. |
|
|