Theorem wbtw_rotate_iff

Modification history