Proofgold Proposition

wceq cfallfac (cmpt2 (λ x0 x1 . cc) (λ x0 x1 . cn0) (λ x0 x1 . cprod (λ x2 . co cc0 (co (cv x1) c1 cmin) cfz) (λ x2 . co (cv x0) (cv x2) cmin)))

type
prop

theory
SetMM

name
df_fallfac

proof
PUQy1..

Megalodon
-

proofgold address
TMQFp..

creator
36378 PrCmT../671e9..

owner
36378 PrCmT../671e9..

term root
56efc..