Theorem List.nthLe_rotate'

Modification history