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 →