けんき says to YSITD
impose inner product exist
at Thu, Apr 4, 2019 12:34 AM