Theorem MulOpposite.nndist_unop

Modification history