Theorem DomMulAct.mk_zpow

Modification history