fact: Definition PartialFunctionBoolR {X : Set} {R : ConstructiveReals} (f : @PartialFunctionXY X bool eq) : @PartialFunction R X.
imports: Logic.ConstructiveEpsilon QArith ConstructiveReals ConstructiveAbs ConstructiveMinMax ConstructiveSum ConstructivePower ConstructiveLimits ConstructiveDiagonal ConstructivePartialFunctions CMTbase CMTIntegrableFunctions CMTFullSets CMTPositivity