Proofgold Proposition

∀ x0 : ι → ο . wb (wtr x0) (wss (cuni x0) x0)

type
prop

theory
SetMM

name
df_tr

proof
PUQyb..

Megalodon
-

proofgold address
TMKBz..

creator
36397 PrCmT../04a7b..

owner
36397 PrCmT../04a7b..

term root
b1054..