Theorem Finsupp.Lex.acc

Modification history

2024-07-27 08:25

Mathlib/Data/Finsupp/WellFounded.lean

chore: robustifying for debug.byAsSorry (part 11) (#15169)

Modified Finsupp.Lex.acc View on Github →

2023-03-19 06:25

Mathlib/Data/Finsupp/WellFounded.lean

feat: port Data.Finsupp.WellFounded (#2985)

Added Finsupp.Lex.acc View on Github →