Proofgold Proposition

wceq ctgp (crab (λ x0 . wsbc (λ x1 . wcel (cfv (cv x0) cminusg) (co (cv x1) (cv x1) ccn)) (cfv (cv x0) ctopn)) (λ x0 . cin cgrp ctmd))

type
prop

theory
SetMM

name
df_tgp

proof
PUVho..

Megalodon
-

proofgold address
TMSEK..

creator
36383 PrCmT../d7481..

owner
36383 PrCmT../d7481..

term root
df867..