mathlib
15b764d8 - feat(group_theory/complement): Add more API for the action on left transversals (#13363)

Commit

3 years ago

feat(group_theory/complement): Add more API for the action on left transversals (#13363) This PR adds more API for the action on left transversals.

Author

tb65536

Parents