Theorem MulOpposite.edist_unop

Modification history