Theorem wbtw_vsub_const_iff

Modification history