Description: Conjugate of an inner product in a subcomplex pre-Hilbert space. Complex version of ipcj . (Contributed by Mario Carneiro, 16-Oct-2015)