The mistake Lenny made in his proof is this:
The definition of a perpendicular bisector tells you that ∠LMI and ∠LMJ are right angles, not that ∠MLI and ∠MLJ are right angles.
The perpendicular bisector of a segment not only bisects the segment but also forms right angles with the segment at the midpoint. Since L is the midpoint of IJ, the correct angles to refer to should be ∠LMI and ∠LMJ.