Theorem exists_true_left

Modification history