Theorem Finsupp.linearCombination_comp_addSingleEquiv

Modification history