Style fixes to Triangle facts

Don't worry about all equilaterals being isosceles.  This is beyond the scope of the exercise.