Theorem inner_sub_sub_self

Modification history