Proofgold Proposition

∀ x0 . ∀ x1 : ι → ι . ∀ x2 : ι → ι → ο . set_of_pairs (Sep2 x0 x1 x2)

type
prop

theory
HF

name
-

proof
PUKA4..

Megalodon
Sep2_set_of_pairs

proofgold address
TMJ4A..^{Sep2_set_of_pairs}

creator
1627 PrGxv../bb076..

owner
1627 PrGxv../bb076..

term root
bd77e..