Theorem wbtw_const_vadd_iff

Modification history