Theorem QuadraticForm.map_smul_of_tower

Modification history