Lean 総合スレッド (17ﾚｽ)
上
下
前次
1-
新
抽出解除
必死ﾁｪｯｶｰ(本家)
(べ)
ﾚｽ栞
あぼーん
5
: 11/21(木)18:08
ID:Bx74CtUo(1)
AAS
theorem mp {p q: Prop}: p -> (p -> q) -> q :=
fun hp: p =>
fun hpq: p -> q => hpq p
上
下
前次
1-
新
書
関
写
板
覧
索
設
栞
歴
ｽﾚ情報
赤ﾚｽ抽出
画像ﾚｽ抽出
歴の未読ｽﾚ
AAｻﾑﾈｲﾙ
ぬこの手
ぬこTOP
0.177s*