C1
LRC holds for k<=12 (upstream)
In plain language
Known upstream results establish the conjecture up to 12 speeds, the project audits and reuses them.
Exact statement
LRC holds for k<=12 (upstream)
C1
Known upstream results establish the conjecture up to 12 speeds, the project audits and reuses them.
LRC holds for k<=12 (upstream)