Theorem inner_re_zero_left

Modification history