My idea about how to operationalize roundness will be correct to a significant degree (only some small things are missing and the definition largely makes sense).

Created by Johannes C. Mayer on 2022-07-28; known on 2022-09-15