Theorem Set.Finite.symmDiff_congr

Modification history