Theorem List.singleton_eq_rotate_iff

Modification history