Theorem not_sbtw_self

Modification history