Nuprl Definition : squash
↓T == Image(T,(λx.Ax))
Definitions occuring in Statement :
lambda: λx.A[x],
axiom: Ax
Definitions occuring in definition :
lambda: λx.A[x],
axiom: Ax
Rules referencing :
barInduction,
bar_Induction,
strong_bar_Induction,
Continuity,
StrongContinuity2,
sqequalExtensionalEquality,
sqleExtensionalEquality
FDL editor aliases :
squash
Latex:
\mdownarrow{}T == Image(T,(\mlambda{}x.Ax))
Date html generated:
2016_05_13-PM-03_04_15
Last ObjectModification:
2015_09_22-PM-05_43_40
Theory : core_1
Home
Index