Proofgold Proposition

type
prop

theory
HotG

name
Field_of_RealsStruct_is_CRing_with_id

proof
PUVyd..

Megalodon
Field_of_RealsStruct_is_CRing

proofgold address
TMYnS..^{Field_of_RealsStruct_is_CRing}

creator
5857 Pr6Pc../be5d9..

owner
5857 Pr6Pc../be5d9..

term root
30ac8..