Proofgold Proposition

∀ x0 . (∀ x1 . x1 ∈ x0 ⟶ and (pair_p x1) (ap x1 0 ∈ 2)) ⟶ pair_p x0

type
prop

theory
HotG

name
pair_p_I2

proof
PUdQg..

Megalodon
pair_p_I2

proofgold address
TMUhx..^pair_p_I2

creator
4899 Pr6Pc../99152..

owner
4899 Pr6Pc../99152..

term root
e4b35..