Theorem half_add_self

Modification history