Theorem tsub_self

Modification history