fact: Parameter ComputeBound_propagate : forall u pi, J.propagate (ComputeBound u pi).
imports: Coq(ZArith Reals Psatz) mathcomp.ssreflect(ssreflect ssrfun ssrbool eqtype ssrnat seq fintype bigop) Interval MathComp Datatypes