Projects
/
mathkin
Archived
6
0
Fork 0

En ny monstermodifikator.

This commit is contained in:
Øystein Ingmar Skartsæterhagen 2010-10-12 20:04:32 +00:00
parent 95c4bc182b
commit 5402d6470d
1 changed files with 3 additions and 0 deletions

View File

@ -56,3 +56,6 @@ smooth
Name: Smooth \ldots
Description: If an analysist is fighting a smooth monster, he/she may choose to differentiate it infinitely many times, making it disappear, instead of fighting it.
conjectured
Name: Conjectured \ldots
Description: Noone has proved that this monster exists. If you do not believe in it, you do not have to fight it.