Proofgold Proposition

∀ x0 . Field x0 ⟶ Field_minus x0 (field4 x0) ∈ field0 x0

type
prop

theory
HotG

name
Field_minus_one_In

proof
PUXQg..

Megalodon
Field_minus_one_In

proofgold address
TMSwu..^{Field_minus_one_In}

creator
5919 Pr6Pc../36396..

owner
5919 Pr6Pc../36396..

term root
fbd93..