Theorem Finsupp.isPwo

Modification history

2024-01-09 15:48

Mathlib/Data/Finsupp/PWO.lean

chore(*): rename IsPwo to IsPWO (#9582) …

Deleted Finsupp.isPwo View on Github →

2023-08-10 19:52

Mathlib/Data/Finsupp/Pwo.lean

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

Modified Finsupp.isPwo View on Github →

2023-02-01 18:43

Mathlib/Data/Finsupp/Pwo.lean

feat: Port/Data.Finsupp.Pwo (#1989) …

Added Finsupp.isPwo View on Github →