Proofgold Proposition

u6 ⊆ u8

type
prop

theory
HotG

name
-

proof
PUdwf..

Megalodon
-

proofgold address
TMUyb..

creator
31380 Pr4zB../e81cb..

owner
31380 Pr4zB../e81cb..

term root
c3570..