Theorem MulOpposite.unop_zero

Modification history