t_wの輪郭
RSS
写像
Lean
【定理証明支援系Lean】写像って、そもそも何?
2024/4/22 19:54:00
(
https://youtu.be/zV7MMw2nA-Q
)