Theorem bex_or

Modification history