GroupTheory/GroupTheory.agda-lib
2024-10-22 15:03:45 -07:00

3 lines
61 B
Text

name: GroupTheory
depend: standard-library-2.1
include: src/