Commit 2024-01-23 00:50 b4f6049b
View on Github →feat(GroupTheory/GroupAction/Defs): isPretransitive_of_compHom
(#9122)
This PR adds isPretransitive_of_compHom
after the related isPretransitive_compHom
.
feat(GroupTheory/GroupAction/Defs): isPretransitive_of_compHom
(#9122)
This PR adds isPretransitive_of_compHom
after the related isPretransitive_compHom
.