Theorem Wbtw.swap_right_iff

Modification history