defs): add a missing is_scalar_tower instance (#8604)

Commit

4 years ago

chore(group_theory/group_action/defs): add a missing is_scalar_tower instance (#8604)

Author

eric-wieser

Parents