Theorem wbtw_vadd_const_iff

Modification history