Theorem Finite.to_wellQuasiOrderedLE

Modification history

2025-07-31 17:11
Mathlib/Order/WellQuasiOrder.lean
chore: scope or remove some instances (#27592) …
Added Finite.to_wellQuasiOrderedLEView on Github →