Def Finset.univ

Modification history

2023-01-16 17:55

Mathlib/Data/Fintype/Basic.lean

feat: port Data.Fintype.Basic (#1593)

Modified Finset.univ View on Github →

2022-09-23 02:45

Mathlib/Data/Fintype/Basic.lean

feat: minimal port of Fintype (#429) …

Added Finset.univ View on Github →