Theorem inner_neg_left

Modification history