Theorem ext_inner_map

Modification history