Proofgold Proposition

∀ x0 x1 . x1 ∈ field0 x0 ⟶ ∀ x2 . x2 ∈ field0 x0 ⟶ ap (ap (ap (Field_of_RealsStruct x0) 2) x1) x2 = field2b x0 x1 x2

type
prop

theory
HotG

name
Field_of_RealsStruct_2

proof
PUSkV..

Megalodon
Field_of_RealsStruct_2

proofgold address
TMHw7..^{Field_of_RealsStruct_2}

creator
5784 Pr6Pc../04224..

owner
5784 Pr6Pc../04224..

term root
144fe..