Maximilian Keßler
|
52d634d9d2
|
add highbrow theorem
|
2021-08-31 11:28:20 +02:00 |
|
Maximilian Keßler
|
5146969d91
|
add not so serious theorem
|
2021-08-31 11:02:00 +02:00 |
|
Maximilian Keßler
|
58524d68ad
|
add helpertheorem and randfact
|
2021-08-31 10:08:12 +02:00 |
|
Maximilian Keßler
|
20c6ce0805
|
add trick environment
|
2021-08-30 16:13:55 +02:00 |
|
Maximilian Keßler
|
f9e293accf
|
fix golden color
|
2021-08-28 11:38:50 +02:00 |
|
Maximilian Keßler
|
810e7aab5d
|
add praise env
|
2021-08-27 10:48:22 +02:00 |
|
Maximilian Keßler
|
95c92b148e
|
add EXT operator. add 'zuSatz' and 'zuBeweis'
|
2021-08-26 17:43:37 +02:00 |
|
Maximilian Keßler
|
68aeef8f3f
|
add antimoral
|
2021-08-26 15:28:27 +02:00 |
|
Maximilian Keßler
|
12d74d299e
|
use real files
|
2021-08-26 13:41:40 +02:00 |
|