Brouwer Fixed Point Theorem in the General Case

Karol Pak. Brouwer Fixed Point Theorem in the General Case. Formalized Mathematics, 19(3):151-153, 2011. [doi]

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.