Theorem QuadraticMap.discr_comp

Modification history