Theorem FdRep.char_dual

Modification history