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"