mathlib3

ec0a4ea1 - fix(tactic/congr'): some `\iff` goals were erroneously rejected