Embedded Lattice and Properties of Gram Matrix

Yuichi Futa, Yasunari Shidama. Embedded Lattice and Properties of Gram Matrix. Formalized Mathematics, 25(1):73, 2017. [doi]

Abstract

Abstract is missing.