Proofgold Proposition

∀ x0 : ι → ο . wceq (cslot x0) (cmpt (λ x1 . cvv) (λ x1 . cfv x0 (cv x1)))

type
prop

theory
SetMM

name
df_slot

proof
PUfy1..

Megalodon
-

proofgold address
TMRTr..

creator
36387 PrCmT../ace12..

owner
36387 PrCmT../ace12..

term root
625e4..