define computing equivalence on real numbers (some admits left to do with properties of Q)
define computing equivalence on real numbers (some admits left to do with properties of Q)

SkySkimmer/HoTTClasses