Theorem List.length_mapIdx

Modification history