Theorem QuadraticMap.Isometry.ext

Modification history