Theorem Sbtw.right_ne

Modification history