Theorem not_bex

Modification history