Mathtodon
#数学こけおどし

連結コンパクト$0$次元$C^\infty$級可微分多様体