Theorem not_and_of_not_right

Modification history