Theorem Finsupp.single_apply_left

Modification history