Theorem unitary.inner_map_map

Modification history