Theorem Bool.and_or_distrib_right

Modification history