Theorem QuadraticMap.Isometry.comp_assoc

Modification history