Theorem Finsupp.lsingle_apply

Modification history