Talk:Generator of Vector Space Contains Basis

Rename request
Yes, the premises list finite dimensionality. Yes, yes. But assuming the axiom of choice makes the statement true in all vector spaces, finite dimensional or no, so it would seem good to mention that hey, this is the version that only works for those. --Dfeuer (talk) 07:20, 21 May 2013 (UTC)