Talk:Rota's basis conjecture