fix quo
if the result is a group of automorphisms (#3148)
#18
The logs for this run have expired and are no longer available.
Loading