(Translated by https://www.hiragana.jp/)
[2009.09582] Lagrangian reduction of nonholonomic discrete mechanical systems by stages