Theorem List.IsRotated.cons_getLast_dropLast

Modification history