Def/Lax basis

Belongs to::Clust/Binary quadratic forms