Theorem FDRep.char_tensor'

Modification history