Theorem Equiv.Perm.support_subtype_perm

Modification history

2025-05-19 07:54

Mathlib/GroupTheory/Perm/Support.lean

chore: swap the sides of the argument to `subtypePerm` (#24833) …

Deleted Equiv.Perm.support_subtype_perm View on Github →

2023-01-17 10:45

Mathlib/GroupTheory/Perm/Support.lean

feat: port GroupTheory.Perm.Support (#1614)

Added Equiv.Perm.support_subtype_perm View on Github →