Theorem List.nthLe_repeat

Modification history