Proofgold Proposition

wceq ctus (cmpt (λ x0 . cuni (crn cust)) (λ x0 . co (cpr (cop (cfv cnx cbs) (cdm (cuni (cv x0)))) (cop (cfv cnx cunif) (cv x0))) (cop (cfv cnx cts) (cfv (cv x0) cutop)) csts))

type
prop

theory
SetMM

name
df_tus

proof
PUNQ5..

Megalodon
-

proofgold address
TMKzQ..

creator
36378 PrCmT../0d93f..

owner
36378 PrCmT../0d93f..

term root
5497c..