Theorem Finsupp.llift_symm_apply

Modification history