P
Initializing...
Theorem 1.9: Brouwer fixed point theorem for $D^2$ · Prove2Me