Description: Equivalent expressions for a 1-dim subspace (ray) of functionals. (Contributed by NM, 24-Oct-2014)
Ref | Expression | ||
---|---|---|---|
Hypotheses | lfl1dim.v | |
|
lfl1dim.d | |
||
lfl1dim.f | |
||
lfl1dim.l | |
||
lfl1dim.k | |
||
lfl1dim.t | |
||
lfl1dim.w | |
||
lfl1dim.g | |
||
Assertion | lfl1dim | |