Theorem Sbtw.not_swap_right

Modification history