Theorem finsuppTensorFinsuppRid_symm_single_smul

Modification history