電波通信
id:concious4410
いわゆる志賀多様体における多様体の埋め込み定理のための次元論的な補題の証明
次元論を使います。
