Theorem Finsupp.lcongr_symm

Modification history