P
Initializing...
A represented measure is subadditive · Prove2Me