mathlib triangle2

Implemented the following functions : is_congruent() and is_similar().