Theorem Finsupp.equivCongrLeft_symm

Modification history