basic): put pointwise actions in their own files to match submonoid (#9312)

Commit

4 years ago

refactor(group_theory/subgroup,linear_algebra/basic): put pointwise actions in their own files to match submonoid (#9312)

Author

eric-wieser

Parents