Login / Signup

Brouwer Fixed Point Theorem for Simplexes.

Karol Pak
Published in: Formaliz. Math. (2011)
Keyphrases