Commit 2021-03-29 13:12 8d8b64e5
View on Github →feat(data/equiv/mul_add_aut): adding conjugation in an additive group (#6774)
assuming [add_group G]
this defines G ->+ additive (add_aut G)
feat(data/equiv/mul_add_aut): adding conjugation in an additive group (#6774)
assuming [add_group G]
this defines G ->+ additive (add_aut G)