Proofgold Proposition

∀ x0 x1 x2 : ι → ο . wceq (co x0 x1 x2) (cfv (cop x0 x1) x2)

type
prop

theory
SetMM

name
df_ov

proof
PUWab..

Megalodon
-

proofgold address
TMJ5e..

creator
36397 PrCmT../702dc..

owner
36397 PrCmT../702dc..

term root
acb27..