Proofgold Proposition

type
prop

theory
HotG

name
form100_22_real_uncountable_atleastp

proof
PUhMi..

Megalodon
form100_22_real_uncountable_atleastp

proofgold address
TMPDh..^{form100_22_real_uncountable_atleastp}

creator
29774 PrQUS../70285..

owner
29774 PrQUS../70285..

term root
5bec5..