Def alternating_map.of_subsingleton

Modification history