Def Mem

Modification history

2022-10-08 09:24

Mathlib/Data/Multiset/Basic.lean

feat: minimal port of `Fintype (Fin n)` (#433) …

Deleted Mem View on Github →

2022-09-23 02:45

Mathlib/Data/Multiset/Basic.lean

feat: minimal port of Fintype (#429) …

Added Mem View on Github →