Nuprl Definition : play-truncate
play-truncate(f;m) == seq-truncate(f;m)
Definitions occuring in Statement :
seq-truncate: seq-truncate(s;n)
Definitions occuring in definition :
seq-truncate: seq-truncate(s;n)
FDL editor aliases :
play-truncate
Latex:
play-truncate(f;m) == seq-truncate(f;m)
Date html generated:
2019_06_20-PM-00_52_02
Last ObjectModification:
2019_01_02-PM-01_31_53
Theory : co-recursion-2
Home
Index