4 commits

Author	SHA1	Message	Date
Floris van Doorn	98fb55e428	fix two errors in the hott library	2018-09-20 01:50:34 +02:00
Floris van Doorn	ba5368c4ae	feat(hott): various small changes	2017-05-22 00:56:05 -04:00
Floris van Doorn	2227d9d1be	feat(group_power): add some facts	2017-05-22 00:56:04 -04:00
Floris van Doorn	0cf04ed3f2	feat(hott): port group_power and int/order from standard library. Update markdown files	2017-05-22 00:56:04 -04:00