Theorem not_sbtw_self_right

Modification history