mirror of
https://github.com/kalmarek/Groups.jl.git
synced 2024-07-17 10:55:33 +02:00
move automorphism_groups.jl -> AutGroup.jl
This commit is contained in:
parent
1fc4405b77
commit
195c7c4392
Loading…
Reference in New Issue
Block a user