定理
#Fleeting_Notes
定理(theorem)
Lean
、
Coq
などの定理証明支援系では関数・メソッドのような感じで証明済みのものはいい具合に使える
確認用
Q. 定理
調査用
Google.icon
定理(日)
Google.icon
Theorem(英)
Wikipedia.icon
定理 - Wikipedia(日)
定理(検索) - Wikipedia(日)
Wikipedia.icon
Theorem - Wikipedia(英)
Theorem(検索) - Wikipedia(英)