Proofgold Proposition

∀ x0 x1 x2 x3 x4 . TwoRamseyProp x0 x2 x4 ⟶ atleastp x1 x0 ⟶ atleastp x3 x2 ⟶ TwoRamseyProp_atleastp x1 x3 x4

type
prop

theory
HotG

name
TwoRamseyProp_atleastp_atleastp

proof
PUfcG..

Megalodon
-

proofgold address
TMYZL..

creator
14561 Pr4zB../9770b..

owner
14561 Pr4zB../9770b..

term root
b3305..