Theorem FDRep.char_iso

Modification history