Nuprl Definition : toptype
|X| == fst(X)
Definitions occuring in Statement :
pi1: fst(t)
Definitions occuring in definition :
pi1: fst(t)
FDL editor aliases :
toptype
Latex:
|X| == fst(X)
Date html generated:
2018_07_29-AM-09_47_35
Last ObjectModification:
2018_06_21-AM-10_02_15
Theory : inner!product!spaces
Home
Index