t_wの輪郭

Feedlyでフォローするボタン
あれ
定理証明支援系『Coqで定理証明：数学的帰納法で二項係数の性質を証明してみた - YouTube』