Proofgold Proposition

∀ x0 . ∀ x1 x2 : ι → ι . prim5 (prim5 x0 x1) x2 = {x2 (x1 x4)|x4 ∈ x0}

type
prop

theory
HotG

name
-

proof
PUTsR..

Megalodon
-

proofgold address
TMVXE..

creator
19014 Pr4zB../31565..

owner
19014 Pr4zB../31565..

term root
9d477..