rbeezer/fcla — pull request #28 by jafontaine (2013-11-14 05:44:38+00:00)
Title: Sage LTB: changed "to be" to "is" to make grammatical sense (Jenna)

changed "there is no requirement that the list of images (in Sage or in Theorem LTDB) to be a basis" to "there is no requirement that the list of images (in Sage or in Theorem LTDB) is a basis"