output of group-> has_mul function and argument Formatted, with some errors
output of group-> has_mul function and argument
Formatted, with some errors

siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround,siddhartha-gadgil/ProvingGround