Theorem List.Nodup.rotate_congr_iff

Modification history