Theorem MulAction.zpowersQuotientStabilizerEquiv_symm_apply

Modification history