Commit 2021-03-11 02:48 0e321167
View on Github →feat(data/dfinsupp): add is_scalar_tower and smul_comm_class (#6614)
This also weakens the requirements for the has_scalar
instance
feat(data/dfinsupp): add is_scalar_tower and smul_comm_class (#6614)
This also weakens the requirements for the has_scalar
instance