Proofgold Proposition

wceq cfl (cmpt (λ x0 . cr) (λ x0 . crio (λ x1 . wa (wbr (cv x1) (cv x0) cle) (wbr (cv x0) (co (cv x1) c1 caddc) clt)) (λ x1 . cz)))

type
prop

theory
SetMM

name
df_fl

proof
PUM7X..

Megalodon
-

proofgold address
TMLdR..

creator
36396 PrCmT../69df1..

owner
36396 PrCmT../69df1..

term root
8fb34..