Def QuadraticForm.Isometry.snd

Modification history