t_wの輪郭

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