Theorem Bool.and_elim_left

Modification history