Theorem Finsupp.ker_lsingle

Modification history