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

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.