Proofgold Proposition

∀ x0 x1 . UPair x0 x1 ⊆ UPair x1 x0

type
prop

theory
HotG

name
-

proof
PUL8Q..

Megalodon
-

proofgold address
TMV3Z..

creator
4882 Pr6Pc../3e37b..

owner
4882 Pr6Pc../3e37b..

term root
41df0..