proposition: Lemma hzone_neg_hzzero : neg (1%hz = 0%hz).
proof: Proof. confirm_not_equal isdeceqhz. Qed.
imports: UniMath.Foundations.Preamble UniMath.MoreFoundations.Tactics UniMath.Topology.Prelim UniMath.NumberSystems.RationalNumbers UniMath.Algebra.Archimedean