P
Initializing...
Positive Ehrhart-Macdonald reciprocity for n at least five · Prove2Me