doc-src/TutorialI/Overview/Slides/config.prosper
author bulwahn
Tue, 19 Oct 2010 12:26:38 +0200
changeset 40033 84200d970bf0
parent 13497 defb74f6a5bc
permissions -rw-r--r--
added some facts about factorial and dvd, div and mod

p +psfonts.cmz
p +psfonts.amz