5 commits

Author	SHA1	Message	Date
Bazsalanszky	0626b63296	Added proofs for the first few theorems	2020-06-12 09:05:17 +02:00
Bazsalanszky	f35c4cebb9	Added even more proofs	2020-06-11 20:46:54 +02:00
Bazsalanszky	5dd79bee0b	Added more proofs	2020-06-11 12:32:40 +02:00
Bazsalanszky	2f15e9dd11	Added some proofs	2020-06-10 15:51:54 +02:00
Bazsalanszky	d4985346d2	Initial commit	2020-06-09 12:08:32 +02:00