Theorem sbtw_const_vsub_iff

Modification history