Proofgold Proposition

∀ x0 . Field x0 ⟶ ∀ x1 . x1 ∈ field0 x0 ⟶ Field_minus x0 (Field_minus x0 x1) = x1

type
prop

theory
HotG

name
Field_minus_invol

proof
PUXQg..

Megalodon
Field_minus_invol

proofgold address
TMTzN..^{Field_minus_invol}

creator
5919 Pr6Pc../9200e..

owner
5919 Pr6Pc../9200e..

term root
e097d..