P
Initializing...
Brouwer fixed-point theorem for the cube $[-1,1]^\iota$ · Prove2Me