Theorem DomMulAct.symm_mk_zpow

Modification history