Proofgold Proposition

∀ x0 . Field x0 ⟶ Field_minus x0 (field3 x0) = field3 x0

type
prop

theory
HotG

name
Field_minus_zero

proof
PUXQg..

Megalodon
Field_minus_zero

proofgold address
TMXQJ..^{Field_minus_zero}

creator
5919 Pr6Pc../cbf31..

owner
5919 Pr6Pc../cbf31..

term root
f5214..