ThmDex – An index of mathematical definitions, results, and conjectures.
Definitions
,
Results
,
Conjectures
Proof P2468 on
R3518: Partition of random basic number into positive and negative parts
P2468
This result is a particular case of
R1022: Partition of basic function into positive and negative parts
. $\square$