Search for blocks/addresses/...

Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . ∀ x2 x3 : ι → ι → ο . (∀ x4 . x4x0∀ x5 . x5x1 x4iff (x2 x4 x5) (x3 x4 x5))Sep2 x0 x1 x2 = Sep2 x0 x1 x3
type
prop
theory
HotG
name
Sep2_ext
proof
PUdQg..
Megalodon
Sep2_ext
proofgold address
TMRji..Sep2_ext
creator
4899 Pr6Pc../c4268..
owner
4899 Pr6Pc../c4268..
term root
0d995..