Jotted Down by enklht
My personal space to explore the worlds of math & tech.
Weyl's Theorem
·
4min
·
enklht
Weyl's Theorem
A formal proof of $D^n / \partial D^n \cong S^n$
·
1min
·
enklht
A formal proof of $D^n / \partial D^n \cong S^n$