Theorem finsuppTensorFinsuppLid_single_tmul_single

Modification history