Theorem not_and_self

Modification history