fact: Fixpoint FreeSubsets (n : nat) : list (list bool) := match n with | O => nil :: nil | S p => map (fun l => true :: l) (FreeSubsets p) ++ map (fun l => false :: l) (FreeSubsets p) end.
imports: QArith_base List ConstructiveReals ConstructiveRealsMorphisms ConstructiveAbs ConstructiveSum ConstructiveMinMax ConstructiveLimits ConstructivePartialFunctions CMTbase CMTIntegrableFunctions CMTIntegrableSets CMTFullSets CMTcast CMTprofile