Proofgold Proposition

∀ x0 . Field x0 ⟶ CRing_with_id x0

type
prop

theory
HotG

name
Field_is_CRing_with_id

proof
PUXmz..

Megalodon
Field_is_CRing

proofgold address
TMQA2..^{Field_is_CRing}

creator
4954 Pr6Pc../3f58b..

owner
4954 Pr6Pc../3f58b..

term root
26b55..