Optimal Proximity Proofs (Q3454584)

From MaRDI portal