Proofgold Proposition

∀ x0 : ο . 6fb7f.. (λ x2 x3 . If_i x0 x3 x2) = x0

type
prop

theory
HotG

name
-

proof
PURih..

Megalodon
-

proofgold address
TMNR9..

creator
9308 PrGxv../08c29..

owner
9308 PrGxv../08c29..

term root
71c67..