Android: использование анимации по умолчанию для фрагментов

Мне нужно использовать анимацию действий по умолчанию в замене фрагмента, но с помощью android.R.anim я не могу ее найти.

Как я могу найти его имя? Можно ли использовать его по умолчанию или мне нужно будет создать анимацию вручную, чтобы использовать ее?

Заранее большое спасибо.

Искав эту точную проблему, я нашел этот ресурс на форумах Google (как ни странно, не у Android-разработчиков):

https://groups.google.com/d/topic/android-porting/c75-7TMgn3A/discussion