Proofgold Proposition

u7 ⊆ u8

type
prop

theory
HotG

name
-

proof
PUdwf..

Megalodon
-

proofgold address
TMdoA..

creator
31380 Pr4zB../2539d..

owner
31380 Pr4zB../2539d..

term root
49b9e..