Theorem QuadraticForm.basisRepr_apply

Modification history