Theorem Finsupp.lcongr_symm_single

Modification history