GroupRings.jl/src
kalmar 986dd3dae1 deprecate groupring_mult in favour of multiple dispatch of (*) 2017-06-05 11:03:37 +02:00
..
GroupRings.jl deprecate groupring_mult in favour of multiple dispatch of (*) 2017-06-05 11:03:37 +02:00