Lean 総合スレッド (17ﾚｽ)
上下前次1-新

---

6: 11/21(木)18:36 ID:LbV7eOsa(1) AA×


[240|320|480|600|100%|JPG|べ|ﾚｽ栞|ﾚｽ消]
6: [] 2024/11/21(木) 18:36:09.01 ID:LbV7eOsa theorem comm_and {p q: Prop}: (p \and q) -> (q \and p) := 　fun pq: (p \and q) => \< pq.right, pq.left \> http://rio2016.5ch.net/test/read.cgi/math/1732174248/6

---

上下前次1-新書関写板覧索設栞歴

---

あと 11 ﾚｽあります
ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.007s