Theorem QuadraticForm.exists_companion

Modification history