Def equiv.refl

Modification history

2021-12-06 13:54

Mathlib/Data/Equiv/Basic.lean

chore: small progress on equiv and list basics (#124) …

Deleted equiv.refl View on Github →

2021-06-09 11:55

Mathlib/Data/Equiv/Basic.lean

feat (Data/Equiv/Basic): add `equiv` (#13) …

Added equiv.refl View on Github →