Theorem Finsupp.lcongr_single

Modification history