OP-00112 Lean verified The nonnegative rank of the nine-point distance matrix NA · Euclidean distance matrices · nonnegative rank · OpenProblemsInNLA