Theorem List.range'_one

Modification history