A rotation of `Bk` (`Q = QC`, stride `1`, `w0 = 1`, `|tf| ≤ 1`, `rw = 2^G`) (`rotBk_RS`)

Initializing...

A rotation of `Bk` (`Q = QC`, stride `1`, `w0 = 1`, `|tf| ≤ 1`, `rw = 2^G`) (`rotBk_RS`) · Prove2Me