P
Initializing...
Dris nine-case, odd s: non-square subcase · Prove2Me