Theorem FdRep.char_one

Modification history