Proofgold Proposition

∀ x0 x1 x2 . nIn x2 x1 ⟶ atleastp x0 x1 ⟶ atleastp (ordsucc x0) (binunion x1 (Sing x2))

type
prop

theory
HotG

name
-

proof
PUKAr..

Megalodon
-

proofgold address
TMRrE..

creator
15377 Pr4zB../08037..

owner
15377 Pr4zB../08037..

term root
11c61..