Theorem List.lookmap_map_eq

Modification history