P
Initializing...
Binary entropy function $h_2(p)$ (Definition 10.1.2) · Prove2Me