Theorem add_self

Modification history