Proofgold Proposition

∀ x0 . Field x0 ⟶ ∀ x1 . Field_div x0 x1 (field3 x0) = 0

type
prop

theory
HotG

name
Field_div_undef3

proof
PUMpo..

Megalodon
Field_div_undef3

proofgold address
TMUNn..^{Field_div_undef3}

creator
5881 Pr6Pc../dacb6..

owner
5881 Pr6Pc../dacb6..

term root
5c48b..