Theorem List.mapIdx_append

Modification history