Theorem Pi.Lex.wellFounded

Modification history

2023-03-18 15:37
Mathlib/Data/Dfinsupp/WellFounded.lean
feat: port Data.Dfinsupp.WellFounded (#2944) …
Added Pi.Lex.wellFoundedView on Github →