Theorem DomMulAct.symm_mk_one

Modification history