Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . RealsStruct x0∀ x1 . x1field0 x0∀ x2 . x2omegaCRing_with_id_omega_exp (Field_of_RealsStruct x0) x1 x2field0 x0
type
prop
theory
HotG
name
RealsStruct_omega_exp_clos
proof
PUMpo..
Megalodon
RealsStruct_omega_exp_clos
proofgold address
TMYuo..RealsStruct_omega_exp_clos
creator
5881 Pr6Pc../bbf95..
owner
5881 Pr6Pc../bbf95..
term root
eddf0..