P
Initializing...
A dimension-independent Larman bound at fixed row excess · Prove2Me