Def add_char.is_nontrivial

Modification history