Proofgold Proposition

∀ x0 . Field x0 ⟶ ∀ x1 . nIn x1 (field0 x0) ⟶ Field_minus x0 x1 = 0

type
prop

theory
HotG

name
Field_minus_undef

proof
PUXQg..

Megalodon
Field_minus_undef

proofgold address
TMW6c..^{Field_minus_undef}

creator
5919 Pr6Pc../55369..

owner
5919 Pr6Pc../55369..

term root
357d7..