mathlib3

ba38b47f - feat(group_theory/perm/list): Add missing `form_perm` lemmas (#13218)

feat(group_theory/perm/list): Add missing `form_perm` lemmas (#13218) Co-authored-by: Mantas Bakšys <39908973+MantasBaksys@users.noreply.github.com> Co-authored-by: YaelDillies <yael.dillies@gmail.com>