Theorem Wbtw.trans_right_ne

Modification history