Theorem List.toFinset_filterMap

Modification history

2025-06-02 07:15

Mathlib/Data/Finset/Image.lean

chore: improve simp-set by putting hypotheses in simp normal form (#25024)

Modified List.toFinset_filterMap View on Github →

2025-04-12 15:38

Mathlib/Data/Finset/Image.lean

feat(NumberTheory/Divisors): Define `Nat.divisorsAntidiagonalList` (#22977) …

Added List.toFinset_filterMap View on Github →