Theorem inner_map_complex

Modification history