PR !4#25981: feat(GroupTheory/GroupAction/Basic): define ...

Stream: triage

[Random Issue Bot]

Today I chose PR #25981 for discussion!

feat(GroupTheory/GroupAction/Basic): define homomorphisms of fixed subgroups induced by homomorphisms of groups
Created by @David Kurniadi Angdinata (@Multramate) on 2025-06-16
Labels: merge-conflict, t-group-theory

Is this PR still relevant? Any recent updates? Anyone making progress?