Theorem List.length_mapIdx_go

Modification history