Theorem Surreal.Multiplication.P2_neg_right

Modification history