Search for blocks/addresses/...

Proofgold Proposition

∀ x0 : ι → (ι → ο) → ο . ∀ x1 . ordinal x1∀ x2 : ι → ο . ∀ x3 . x3x1PNo_rel_strict_lowerbd x0 x1 x2PNo_rel_strict_lowerbd x0 x3 x2
type
prop
theory
HotG
name
PNo_rel_strict_lowerbd_antimon
proof
PUQ2Y..
Megalodon
PNo_rel_strict_lowerbd_antimon
proofgold address
TMVV2..PNo_rel_strict_lowerbd_antimon
creator
4903 Pr6Pc../970fb..
owner
4903 Pr6Pc../970fb..
term root
27f25..