Proofgold Proposition

∀ x0 : ι → ο . ∀ x1 : ι → ι → ο . wceq (crio x0 x1) (cio (λ x2 . wa (wcel (cv x2) (x1 x2)) (x0 x2)))

type
prop

theory
SetMM

name
df_riota

proof
PUWab..

Megalodon
-

proofgold address
TMU68..

creator
36397 PrCmT../9d8ad..

owner
36397 PrCmT../9d8ad..

term root
c38d9..