Theorem Real.sign_apply_eq

Modification history