continuous integration

feat: `Subgroup.closure` and `Submonoid.closure` coincide in finite g… #47

Sign in to view logs

Run time

Learn about OS pricing on GitHub Actions

Job	Run time
Build	0s
Post-Build Step	0s
CI Success	-1s
Post-CI job	-1s
Lint style	-9s
	-11s