Theorem inner_add_add_self

Modification history