Commit 2021-02-20 17:42 dccc5421

fix(algebra/group/pi): remove unnecessary add_monoid requirement from pi.single_zero (#6325) Follows on from #6317