t_wの輪郭

RSS

写像 Lean

【定理証明支援系Lean】写像って、そもそも何？

2024/4/22 19:54:00

(https://youtu.be/zV7MMw2nA-Q)