ImproperReplacement

exception proveit.ImproperReplacement(orig_expr, repl_map, message)[source]