Theorem List.range_eq_range'

Modification history