[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Proving properties of finite sets





Try 

Rule? (use "finite_singleton[Access_Primitives]")

-- 
-- Paul S. Miner                | email: p.s.miner@larc.nasa.gov
-- 1 South Wright St. / MS 130  |   fax: (757) 864-4234
-- NASA Langley Research Center | phone: (757) 864-6201
-- Hampton, Virginia 23681-0001 |