Theorem Surreal.nsmul_pow_two_powHalf

Modification history