Theorem DFinsupp.Lex.wellFounded'

Modification history

2024-07-27 08:25

Mathlib/Data/DFinsupp/WellFounded.lean

chore: robustifying for debug.byAsSorry (part 10) (#15164)

Modified DFinsupp.Lex.wellFounded'View on Github →

2023-07-12 02:40

Mathlib/Data/DFinsupp/WellFounded.lean

chore: rename `Dfinsupp` to `DFinsupp` (#5822) …

Added DFinsupp.Lex.wellFounded'View on Github →