Theorem List.nthLe_map_rev

Modification history