Prove the declared active-feedback decoder keeps one y0 coupling monomial - #6945

Prove the declared active-feedback decoder keeps one y0 coupling monomial#6945

Mister-Meeseeks merged 1 commit into

CrocSwap:mainCrocSwap/integer-mult-bounds:mainfrom

unpaidmoon:cursor/active-feedback-coupling-lock-c2cbunpaidmoon/integer-mult-bounds:cursor/active-feedback-coupling-lock-c2cbCopy head branch name to clipboard