Theorem QuadraticForm.congr_fun

Modification history