Theorem List.mapIdx_cons

Modification history