Nuprl Definition : trivial-vs
0 == Point= Unit zero= ⋅ x+y= ⋅ a*x= ⋅
Definitions occuring in Statement :
mk-vs: mk-vs,
it: ⋅,
unit: Unit
Definitions occuring in definition :
mk-vs: mk-vs,
unit: Unit,
it: ⋅
FDL editor aliases :
trivial-vs
Latex:
0 == Point= Unit zero= \mcdot{} x+y= \mcdot{} a*x= \mcdot{}
Date html generated:
2018_05_22-PM-09_41_48
Last ObjectModification:
2017_11_02-PM-04_55_34
Theory : linear!algebra
Home
Index