Jotted Down by enklht
Tags
Archive
About
#math
A formal proof of $D^n / \partial D^n \cong S^n$
2024-12-11
·
1min
·
enklht
A formal proof of $D^n / \partial D^n \cong S^n$