Theorem finsuppTensorFinsupp'_symm_single_eq_tmul_single_one

Modification history