Def alternating_map.const_of_is_empty

Modification history