P
Initializing...
Corollary 15 — informational dimension is multiplicative, $d_{AB}=d_Ad_B$ · Prove2Me