Commit 2019-10-24 13:48 b1f44ba1
View on Github →chore(group_theory/free_group,order/zorn): rename zorn.zorn and sum.sum (#1604)
- chore(order/zorn): rename zorn.zorn
- chore(group_theory/free_group): rename sum.sum
- chore(group_theory/free_group,order/zorn): remove nolint