Theorem wbtw_const_vsub_iff

Modification history