Theorem sbtw_zero_one_iff

Modification history