Theorem DomMulAct.symm_mk_inv

Modification history