Proofgold Proposition

wceq cpellfund (cmpt (λ x0 . cdif cn csquarenn) (λ x0 . cinf (crab (λ x1 . wbr c1 (cv x1) clt) (λ x1 . cfv (cv x0) cpell14qr)) cr clt))

type
prop

theory
SetMM

name
df_pellfund

proof
PUbMc..

Megalodon
-

proofgold address
TMEgc..

creator
36387 PrCmT../e235f..

owner
36387 PrCmT../e235f..

term root
c67f1..