Theorem List.finRange_eq_pmap_range

Modification history