basic): make ℝ a structure (#6024)

Commit

5 years ago

refactor(data/real/basic): make ℝ a structure (#6024) Preparation for :four_leaf_clover:, which doesn't have irreducible.

Author

gebner

Parents