Theorem not_forall

Modification history