Theorem Set.to_finset_set_of

Modification history

2023-02-16 06:27

Mathlib/Data/Fintype/Basic.lean

Fix: rename `Set.to_finset_set_of` to `Set.toFinset_setOf` (#2309)

Deleted Set.to_finset_set_of View on Github →

2023-01-16 17:55

Mathlib/Data/Fintype/Basic.lean

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

Added Set.to_finset_set_of View on Github →