Proofgold Proposition

∀ x0 x1 . pair_p x0 ⟶ x0 ∈ x1 ⟶ ap x0 1 ∈ ap x1 (ap x0 0)

type
prop

theory
HotG

name
pair_p_In_ap

proof
PUdQg..

Megalodon
pair_p_In_ap

proofgold address
TMVJ3..^pair_p_In_ap

creator
4899 Pr6Pc../0b1f0..

owner
4899 Pr6Pc../0b1f0..

term root
e93eb..