Tags

#Lie algebra ¹

Weyl's Theorem

#math ¹

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