Theorem inner_map_polarization

Modification history