log src/Category/Group.agda @ 1110:45de2b31bf02

age author description
Sat, 07 Oct 2023 19:43:31 +0900 Shinji KONO add original library and fix for safe mode