Talk:Nice For What/@comment-38581180-20190419011930

Proof for the beta choreo