Theorem QuadraticMap.two_nsmul_associated

Modification history