Proofgold Proposition

∀ x0 . Field x0 ⟶ subfield x0 x0

type
prop

theory
HotG

name
subfield_refl

proof
PUXQg..

Megalodon
subfield_refl

proofgold address
TMbHG..^{subfield_refl}

creator
5919 Pr6Pc../8c997..

owner
5919 Pr6Pc../8c997..

term root
0eb1f..