P
Initializing...
Williamson arrays imply Hadamard for odd orders · Prove2Me