Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0prim4 3∀ x1 : ο . (x0 = 0x1)(x0 = 1x1)(x0 = Sing 1x1)(x0 = 2x1)(x0 = Sing 2x1)(x0 = UPair 0 2x1)(x0 = UPair 1 2x1)(x0 = 3x1)x1
type
prop
theory
HotG
name
In_Power_3_cases_impred
proof
PUfcG..
Megalodon
-
proofgold address
TMc1D..
creator
14561 Pr4zB../9eec9..
owner
14561 Pr4zB../9eec9..
term root
55d7a..