Proofgold Proposition

∀ x0 . ∀ x1 : ι → ο . ∀ x2 . ∀ x3 : ι → ο . b0670.. (pack_p x0 x1) (pack_p x2 x3) = pack_p (setprod x0 x2) (λ x5 . and (x1 (ap x5 0)) (x3 (ap x5 1)))

type
prop

theory
HotG

name
-

proof
PUfqD..

Megalodon
-

proofgold address
TMHhs..

creator
11516 PrEBh../e0f85..

owner
11516 PrEBh../e0f85..

term root
775d1..