Proofgold Proposition

wceq cspn (cmpt (λ x0 . cpw chil) (λ x0 . cint (crab (λ x1 . wss (cv x0) (cv x1)) (λ x1 . csh))))

type
prop

theory
SetMM

name
df_span

proof
PUL5f..

Megalodon
-

proofgold address
TMFTu..

creator
36387 PrCmT../e13c8..

owner
36387 PrCmT../e13c8..

term root
013a3..