Def Finsets

Modification history

2023-08-10 19:52

Mathlib/SetTheory/Lists.lean

chore: banish `Type _` and `Sort _` (#6499) …

Modified Finsets View on Github →

2023-02-02 19:31

Mathlib/SetTheory/Lists.lean

feat: port SetTheory.Lists (#1575)

Added Finsets View on Github →