Proofgold Proposition

∀ x0 x1 : ι → ο . wb (whe x0 x1) (wss (cima x1 x0) x0)

type
prop

theory
SetMM

name
df_he

proof
PUQPq..

Megalodon
-

proofgold address
TMXsV..

creator
36399 PrCmT../46b84..

owner
36399 PrCmT../46b84..

term root
2b111..