Theorem QuadraticForm.proj_apply

Modification history