Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . SNo x0add_SNo (mul_SNo (eps_ 1) x0) (mul_SNo (eps_ 1) x0) = x0
type
prop
theory
HotG
name
eps_1_split_eq
proof
PUfRQ..
Megalodon
eps_1_split_eq
proofgold address
TMTjR..eps_1_split_eq
creator
6761 Pr6Pc../22001..
owner
6761 Pr6Pc../22001..
term root
357e7..