P
Initializing...
valid_binSh_permIdx (§6.2 Lemma 16: the positional layout permutation `L`) · Prove2Me