Theorem Q60596.sq_map_sub_char_two

Modification history