Proofgold Object

prim0 (λ x0 . and (∀ x1 . x1 ∈ x0 ⟶ SNo x1) (explicit_Reals x0 0 1 add_SNo mul_SNo SNoLe))

type
ι

theory
HotG

name
Eps_i_realset

definition
PUK1b..

Megalodon
-

proofgold address
TMbZP..

creator
4949 Pr6Pc../91d1f..

owner
4949 Pr6Pc../91d1f..

term root
5c398..