Theorem Fin.equiv_iff_eq

Modification history

2024-02-14 06:30

Mathlib/Data/Fin/Basic.lean

chore(Data/Fin): move `Fin.equiv_iff_eq` (#10522) …

Modified Fin.equiv_iff_eq View on Github →

2023-01-19 11:44

Mathlib/Data/Fintype/Card.lean

feat: port Data.Fintype.Card (#1668)

Added Fin.equiv_iff_eq View on Github →