Theorem Finsupp.lapply_apply

Modification history