Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . x0 ∈ u12 ⟶ u17_perm_1_3_0_2_5_7_4_6_10_8_11_9_13_14_15_12 x0 ∈ u12
type
prop
theory
HotG
name
-
proof
PULzF..
Megalodon
-
proofgold address
TMatY..
creator
19311 Pr4zB../bb500..
owner
19311 Pr4zB../bb500..
term root
b12bb..