Mike Woodson's coaching tenure is over, but his Indiana legacy remains