P
Initializing...
A nontrivial element of $F$ pushes a dyadic interval off itself · Prove2Me