Thm* assert_of_band

Thm* band_tt_simp

Thm* band_ff_simp

Thm* bnot_thru_bor

Thm* bnot_thru_band

Thm* comb_for_band_wf