Theorem Sbtw.left_ne_right

Modification history