Closed MHenderson closed 7 months ago
These references were wrong in the original report but clearly the two previous theorems were meant to be referenced. So this change just adds those references.
These references were wrong in the original report but clearly the two previous theorems were meant to be referenced. So this change just adds those references.