Theorem QuadraticMap.Isometry.tmul_apply

Modification history