Theorem sign_zero

Modification history