Lean 総合スレッド (11ﾚｽ)
上下前次1-新
抽出解除 必死ﾁｪｯｶｰ(本家) (べ) ﾚｽ栞 あぼーん

---

6: 11/21(木)18:36 ID:LbV7eOsa(1) AAS
theorem comm_and {p q: Prop}: (p \and q) -> (q \and p) :=
　fun pq: (p \and q) => \< pq.right, pq.left \>

---

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

---

ｽﾚ情報 赤ﾚｽ抽出 画像ﾚｽ抽出 歴の未読ｽﾚ AAｻﾑﾈｲﾙ

---

ぬこの手 ぬこTOP 0.175s*