mathlib
54441b5d - feat(algebra/group_action_hom): define equivariant maps (#2866)

Commit

5 years ago

feat(algebra/group_action_hom): define equivariant maps (#2866)

Author

kckennylau

kckennylau

Parents

Loading