fact: Definition boolDcuts : hSet.
imports: UniMath.Foundations.Preamble UniMath.MoreFoundations.Tactics UniMath.RealNumbers.Prelim UniMath.RealNumbers.Sets UniMath.RealNumbers.NonnegativeRationals UniMath.RealNumbers.NonnegativeReals