  We prove the precise inversion of adjunction formula for quotient
singularities. As an application, we prove the semi-continuity of minimal log
discrepancies for hyperquotient singularities. This paper is a continuation of
arXiv:2011.07300, and we generalize the previous results to non-linear group
actions.
