Jotted Down by enklht

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$