Proofgold Proposition

∀ x0 . ∀ x1 : ι → ο . Sep x0 x1 ∈ prim4 x0

type
prop

theory
HotG

name
Sep_In_Power

proof
PUL8Q..

Megalodon
Sep_In_Power

proofgold address
TMd59..^Sep_In_Power

creator
4882 Pr6Pc../3dc20..

owner
4882 Pr6Pc../3dc20..

term root
612c9..