Theorem FDRep.char_mul_comm

Modification history