Theorem FDRep.char_linHom

Modification history