Theorem QuadraticForm.choose_exists_companion

Modification history