fact: Hypothesis Hf : forall (x y : Q), InFinEnumC ((x,y):ProductMS _ _) points -> (l<= x <= r) /\ (b <= y <= t).
imports: CoRN.algebra.RSetoid CoRN.metric2.Metric CoRN.metric2.UniformContinuity CoRN.reals.fast.RasterQ CoRN.reals.fast.Interval CoRN.logic.Classic CoRN.model.totalorder.QposMinMax Coq.QArith.Qabs Coq.QArith.Qround