more....
<logic> A result already proved, which is needed in the proof of some further result.
(1995-03-25)
more......
Copyright © 1999-2020 www.hobbyprojects.com (All rights reserved)