Proofgold Proposition

∀ x0 x1 . lam 2 (λ x3 . If_i (x3 = 0) x0 x1) = 4ec03.. x0 (4ec03.. x1 0)

type
prop

theory
HotG

name
-

proof
PUZC8..

Megalodon
-

proofgold address
TMUST..

creator
6992 Pr6Pc../1af80..

owner
6992 Pr6Pc../1af80..

term root
934a7..