Proofgold Proposition

((λ x1 x2 . x2) = λ x1 x2 . x1) ⟶ ∀ x0 : ο . x0

type
prop

theory
HotG

name
-

proof
PUKsH..

Megalodon
-

proofgold address
TMTXM..

creator
18006 Pr4zB../c7081..

owner
18006 Pr4zB../c7081..

term root
1019f..