Proofgold Proposition

type
prop

theory
HotG

name
form100_22_real_uncountable_equip

proof
PUhMi..

Megalodon
form100_22_real_uncountable_equip

proofgold address
TMF7m..^{form100_22_real_uncountable_equip}

creator
29774 PrQUS../8f590..

owner
29774 PrQUS../8f590..

term root
bea95..