Talk:Steinitz Theorem

linked from http://mizar.org/version/current/html/vectsp_9.html#T19 --Ysangkok (talk) 21:04, 8 October 2015 (UTC)
 * The link there is incorrect. It should go to Steinitz exchange lemma. —David Eppstein (talk) 21:57, 8 October 2015 (UTC)