Theorem addSalemSpencer_iff_eq_right

Modification history