Def a_one_iff_b_one

Modification history