$\operatorname{rank}_B(M) \le \operatorname{rank}_+(M)$: nonnegative factorizations give Boolean factorizations of the support

Initializing...

$\operatorname{rank}_B(M) \le \operatorname{rank}_+(M)$: nonnegative factorizations give Boolean factorizations of the support · Prove2Me