Theorem le_imp_le''

Modification history

2025-11-25 01:06
MathlibTest/ToDual.lean
feat(translate): automatically infer the `(reorder := ...)` argument (#31902) …
Added le_imp_le''View on Github →