Theorem Equiv.Perm.viaFintypeEmbedding_sign

Modification history

2025-03-13 15:17

Mathlib/GroupTheory/Perm/Sign.lean

chore: move Equiv.Perm.viaFintypeEmbedding_sign out of Logic/ (#22900) …

Modified Equiv.Perm.viaFintypeEmbedding_sign View on Github →

2023-02-27 18:08

Mathlib/Logic/Equiv/Fintype.lean

feat: port Logic.Equiv.Fintype (#2524)

Added Equiv.Perm.viaFintypeEmbedding_sign View on Github →