Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . TwoRamseyGraph_4_4_17 x0 x1 ⟶ TwoRamseyGraph_4_4_17 x1 x0
type
prop
theory
HotG
name
-
proof
PULx2..
Megalodon
-
proofgold address
TMTAW..
creator
18218 Pr4zB../48188..
owner
18218 Pr4zB../48188..
term root
bf922..