Thm* assert_of_bor

Thm* bor_tt_simp

Thm* bor_ff_simp

Thm* bnot_thru_bor

Thm* bnot_thru_band

Thm* comb_for_bor_wf