rbeezer/fcla — pull request #37 by jafontaine (2013-11-19 01:40:53+00:00)
Title: Proof SLTB: took out unnecessary "are"

Line 839: changed "So there are are scalars" to "So there are scalars"