Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
feat: Compare card of subgroup to card of group (#5347)
Includes new lemmas, one that shows that the cardinality of a subgroup is at most the cardinality of the ambient group, and others which shows that the cardinality of the top group is equal to that of the ambient group, and that in fact this is iff. Co-authored-by: Floris van Doorn
- Loading branch information