Proofgold Proposition

∀ x0 x1 x2 x3 x4 x5 . equip x0 x3 ⟶ equip x1 x4 ⟶ equip x2 x5 ⟶ TwoRamseyProp x0 x1 x2 ⟶ TwoRamseyProp x3 x4 x5

type
prop

theory
HotG

name
-

proof
PUTEc..

Megalodon
-

proofgold address
TMXh5..

creator
4947 Pr6Pc../57607..

owner
4947 Pr6Pc../57607..

term root
778a9..