Theorem DomMulAct.symm_mk_mul

Modification history