Theorem MulOpposite.nndist_op

Modification history