Theorem Sbtw.left_ne

Modification history