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.

Estimated changes