Nuprl Definition : seq-len
||s|| == fst(s)
Definitions occuring in Statement :
pi1: fst(t)
Definitions occuring in definition :
pi1: fst(t)
FDL editor aliases :
seq-len
Latex:
||s|| == fst(s)
Date html generated:
2018_07_25-PM-01_28_11
Last ObjectModification:
2018_06_11-PM-01_10_26
Theory : arithmetic
Home
Index