Observations and Theories of Mixing in Red Giants