Nuprl Definition : vs-map-kernel
a ∈ Ker(f) == (f a) = 0 ∈ Point(B)
Definitions occuring in Statement :
vs-0: 0,
vs-point: Point(vs),
apply: f a,
equal: s = t ∈ T
Definitions occuring in definition :
equal: s = t ∈ T,
vs-point: Point(vs),
apply: f a,
vs-0: 0
FDL editor aliases :
vs-map-kernel
Latex:
a \mmember{} Ker(f) == (f a) = 0
Date html generated:
2018_05_22-PM-09_43_03
Last ObjectModification:
2018_01_09-PM-01_34_51
Theory : linear!algebra
Home
Index