Theorem FDRep.char_conj

Modification history