Theorem inner_im_symm

Modification history