Theorem bex_or_left

Modification history