Theorem finsuppTensorFinsuppLid_symm_single_smul

Modification history