Theorem sbtw_one_zero_iff

Modification history