Proofgold Proposition

∀ x0 . RealsStruct x0 ⟶ RealsStruct_one x0 = field4 x0 ⟶ ∀ x1 : ο . x1

type
prop

theory
HotG

name
RealsStruct_one_neq_zero

proof
PUSkV..

Megalodon
RealsStruct_one_neq_zero

proofgold address
TMPjn..^{RealsStruct_one_neq_zero}

creator
5784 Pr6Pc../5ba84..

owner
5784 Pr6Pc../5ba84..

term root
a175b..