Theorem Bool.or_and_distrib_left

Modification history