fact: Definition RasterizeQ2 (points:list Q2) (n m:positive) (t l b r:Q) : sparse_raster n m := sparse_raster_data n m (map (fun p => rasterize2 n m t l b r p) points).
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