Theorem FDRep.char_one

Modification history