Proofgold Proposition

wceq creps (cmpt2 (λ x0 x1 . cvv) (λ x0 x1 . cn0) (λ x0 x1 . cmpt (λ x2 . co cc0 (cv x1) cfzo) (λ x2 . cv x0)))

type
prop

theory
SetMM

name
df_reps

proof
PUgqy..

Megalodon
-

proofgold address
TMVxW..

creator
36396 PrCmT../f264f..

owner
36396 PrCmT../f264f..

term root
22ae1..