Theorem Bool.or_and_distrib_right

Modification history