Theorem List.getD_map

Modification history