Proofgold Proposition

∀ x0 . RealsStruct x0 ⟶ (λ x2 . ap (ap (ap (Field_of_RealsStruct x0) 2) x2)) = field2b x0

type
prop

theory
HotG

name
Field_of_RealsStruct_2f

proof
PUSVY..

Megalodon
Field_of_RealsStruct_2f

proofgold address
TMMmV..^{Field_of_RealsStruct_2f}

creator
5804 Pr6Pc../8cc93..

owner
5804 Pr6Pc../8cc93..

term root
f983d..