Theorem FdRep.char_iso

Modification history