けんき says to YSITD
可以定義norm:=√<x,x>
at Thu, Apr 4, 2019 1:09 AM