Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . TwoRamseyGraph_4_5_24 x0 x1 ⟶ TwoRamseyGraph_4_5_24 x1 x0
type
prop
theory
HotG
name
-
proof
PUVpr..
Megalodon
-
proofgold address
TMbXT..
creator
18372 Pr4zB../f820e..
owner
18988 Pr4zB../c497b..
term root
214df..