basic): More API for `quotient_action` (#13661)

Commit

3 years ago

feat(group_theory/group_action/basic): More API for `quotient_action` (#13661) This PR adds a couple more API lemmas for `quotient_action`.

Author

tb65536

Parents