Def Function.Embedding.embFinTwo

Modification history

2025-05-19 11:09

Mathlib/Data/Fin/Tuple/Embedding.lean

fix: random (white)spaces (#25018) …

Modified Function.Embedding.embFinTwo View on Github →

2025-05-18 18:58

Mathlib/Data/Fin/Tuple/Embedding.lean

feat(GroupTheory/GroupAction/MultiplePretransitivity): define multiply transitive actions (#23386) …

Added Function.Embedding.embFinTwo View on Github →