Search for blocks/addresses/...

Proofgold Proposition

∀ x0 x1 . ordinal x1x1eps_ x0x1 = 0
type
prop
theory
HotG
name
eps_ordinal_In_eq_0
proof
PUVu4..
Megalodon
eps_ordinal_In_eq_0
proofgold address
TMbpD..eps_ordinal_In_eq_0
creator
5368 Pr6Pc../aafc0..
owner
5368 Pr6Pc../aafc0..
term root
3046f..