形式証明のついた記事
sabataro
@sabataro
142 1 3年以上前
ご飯おかわりの定理
sabataro
@sabataro
325 2 3年以上前
進次郎の定理「aならばa」を証明してみる