basic): Add typeclass for actions that descend to the quotient (#12999)

Commit

3 years ago

feat(group_theory/group_action/basic): Add typeclass for actions that descend to the quotient (#12999) Part of #12848.

Author

tb65536

Parents