Surface state sets are stable under vertical perturbation: if `(f)` is in the state set, so is `(f + pi * h)`.

Initializing...

Surface state sets are stable under vertical perturbation: if `(f)` is in the state set, so is `(f + pi * h)`. · Prove2Me