Theorem QuadraticMap.IsometryEquiv.map_app

Modification history