Theorem finsuppTensorFinsuppLid_self

Modification history