:: deftheorem defines GramMatrix ZMODLAT1:def 34 :
for V being free finite-rank Z_Module
for f being bilinear-FrForm of V,V
for b being OrdBasis of V holds GramMatrix (f,b) = BilinearM (f,b,b);