Theorem QuadraticForm.tensorComm_symm

Modification history