Proofgold Proposition

∀ x0 x1 x2 : ι → ο . wceq (caov x0 x1 x2) (cafv (cop x0 x1) x2)

type
prop

theory
SetMM

name
df_aov

proof
PUYnf..

Megalodon
-

proofgold address
TMSEZ..

creator
36378 PrCmT../4ed66..

owner
36378 PrCmT../4ed66..

term root
1581d..