Nuprl Definition : ext-family
F ≡ G == ∀p:P. F p ≡ G p
Definitions occuring in Statement :
ext-eq: A ≡ B,
all: ∀x:A. B[x],
apply: f a
Definitions occuring in definition :
all: ∀x:A. B[x],
ext-eq: A ≡ B,
apply: f a
FDL editor aliases :
ext-family
Latex:
F \mequiv{} G == \mforall{}p:P. F p \mequiv{} G p
Date html generated:
2016_05_14-AM-06_12_10
Last ObjectModification:
2015_09_22-PM-05_46_58
Theory : co-recursion
Home
Index