t_wの輪郭

コンパイル時証明定理証明支援系関数型言語
【定理証明支援系Lean】写像って、そもそも何？あれ