Theorem QuadraticMap.Isometry.coe_toLinearMap

Modification history