Theorem MulOpposite.edist_op

Modification history