Theorem ext_inner_left

Modification history