mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-09-13 08:25:39 +02:00
mv FPGroup.jl -> FreeGroup.jl
This commit is contained in:
parent
195c7c4392
commit
86ec33b8a0
Loading…
Reference in New Issue
Block a user