Proofgold Proposition

type
prop

theory
HotG

name
RealsStruct_OrderedField

proof
PUSVY..

Megalodon
RealsStruct_OrderedField

proofgold address
TMGNW..^{RealsStruct_OrderedField}

creator
5804 Pr6Pc../0970e..

owner
5804 Pr6Pc../0970e..

term root
3149f..