Proofgold Proposition

type
prop

theory
HotG

name
Field_Field_of_RealsStruct

proof
PUSkV..

Megalodon
Field_Field_of_RealsStruct

proofgold address
TMR5U..^{Field_Field_of_RealsStruct}

creator
5784 Pr6Pc../4e400..

owner
5784 Pr6Pc../4e400..

term root
0ec36..