Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . ∀ x1 x2 : ι → ι . (∀ x3 . x3x0x1 x3x2 x3)Pi x0 x1Pi x0 x2
type
prop
theory
HotG
name
Pi_cod_mon
proof
PUgbQ..
Megalodon
Pi_cod_mon
proofgold address
TMZud..Pi_cod_mon
creator
4904 Pr6Pc../e8049..
owner
4904 Pr6Pc../e8049..
term root
3f602..