Theorem QuadraticForm.map_add_add_add_map

Modification history