Talk:Condition for Linear Dependence of Linear Functionals in terms of Kernel

Is this title better? Also worth mentioning that this is obviously an iff, but the other direction is trivial. Caliburn (talk) 20:12, 5 February 2023 (UTC)

My suggestion is to set the other direction up as a separate proof page under the same category, and then we have the option to transclude it, and/or link to it as need be. Then the non-trivial direction can evolve as we want it to without us having to worry about the other way. --prime mover (talk) 17:26, 6 February 2023 (UTC)