Theorem finsuppTensorFinsupp'_symm_single_eq_single_one_tmul

Modification history