Archive

Weyl's Theorem 12-08

A formal proof of $D^n / \partial D^n \cong S^n$ 12-11