Theorem List.toFinset_range'_1_1

Modification history