mathlib3
22311732 - feat(group_theory/commuting_probability): New file (#11243)

Commit

4 years ago

feat(group_theory/commuting_probability): New file (#11243) This PR introduces commuting probabilities of finite groups.

Author

tb65536

Parents