Proofgold Proposition

wral (λ x0 . wbr (cfv (cv x0) cchp) (co (co c1 (cdp2 cc0 (cdp2 c3 (cdp2 c8 (cdp2 c8 c3)))) cdp) (cv x0) cmul) clt) (λ x0 . crp)

type
prop

theory
SetMM

name
ax_ros335

proof
PUgtu..

Megalodon
-

proofgold address
TMXQg..

creator
36399 PrCmT../fc8dd..

owner
36399 PrCmT../fc8dd..

term root
48ca1..