5 ms·

This is referenced at the very beginning, just after the table of contents.

• bobbiechen 2y ago
  Oops, I missed it when I was reading, and assumed it wasn't referenced. Thanks!