Compatibility with Agda 2.5.4
favonia opened this issue · 0 comments
favonia commented
-
theorems/groups/KernelImage.agdaneeds to be rewritten due to agda/agda#2979
favonia opened this issue · 0 comments
theorems/groups/KernelImage.agda needs to be rewritten due to agda/agda#2979