Theorem Finsupp.linearCombination_id_surjective

Modification history