Theorem MulAction.orbitZPowersEquiv_symm_apply'

Modification history