Theorem Finsupp.lift_apply

Modification history