Theorem List.Nodup.rotate_congr

Modification history