Proofgold Proposition

wceq crnk (cmpt (λ x0 . cvv) (λ x0 . cint (crab (λ x1 . wcel (cv x0) (cfv (csuc (cv x1)) cr1)) (λ x1 . con0))))

type
prop

theory
SetMM

name
df_rank

proof
PUhHD..

Megalodon
-

proofgold address
TMFcW..

creator
36397 PrCmT../63e3e..

owner
36397 PrCmT../63e3e..

term root
88530..