Proofgold Proposition

∀ x0 : ι → ι → ο . wb (wnfc x0) (∀ x1 . wnf (λ x2 . wcel (cv x1) (x0 x2)))

type
prop

theory
SetMM

name
df_nfc

proof
PUcqv..

Megalodon
-

proofgold address
TMVqY..

creator
36396 PrCmT../6fb32..

owner
36396 PrCmT../6fb32..

term root
5b300..