Theorem not_and'

Modification history