Theorem List.nthLe_rotate_one

Modification history