Theorem QuadraticMap.not_anisotropic_iff_exists

Modification history