Theorem Q60596.gen_mul_gen

Modification history