Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . Field x0∀ x1 . x1field0 x0∀ x2 . x2omegaCRing_with_id_omega_exp x0 x1 x2field0 x0
type
prop
theory
HotG
name
Field_omega_exp_clos
proof
PUMpo..
Megalodon
Field_omega_exp_clos
proofgold address
TMJ98..Field_omega_exp_clos
creator
5881 Pr6Pc../b6663..
owner
5881 Pr6Pc../b6663..
term root
026ac..