mathlib
c07c3107 - feat(group_theory/perm_basic): Lemma swap_apply_apply (#6870)

Commit

4 years ago

feat(group_theory/perm_basic): Lemma swap_apply_apply (#6870) A useful rw lemma.

Author

tb65536

tb65536

Parents

Loading