Theorem sign_one

Modification history