Theorem DomMulAct.symm_mk_pow

Modification history