Theorem finsuppTensorFinsuppRid_single_tmul_single

Modification history