Theorem imp_self

Modification history