Def mul_action_hom.to_quotient
Modification history
2022-06-29 12:27
src/group_theory/group_action/basic.lean
chore(group_theory/group_action/basic): split file (#15044) …
Modified mul_action_hom.to_quotientView on Github →2022-04-19 14:04
src/algebra/hom/group_action.lean
refactor(group_theory/group_action/big_operators): extract to a new file (#13340) …
Modified mul_action_hom.to_quotientView on Github →