Mon, 09 Feb 2009 17:09:18 +0000 | chaieb | added Euclidean_Space and Glbs to Library | changeset | files |
Mon, 09 Feb 2009 17:08:49 +0000 | chaieb | fixed proof -- removed unnecessary sorry | changeset | files |
Mon, 09 Feb 2009 16:57:10 +0000 | chaieb | Fixed theorem reference | changeset | files |