Theorem le_imp_le'

Modification history

2026-01-09 10:48
MathlibTest/ToDual.lean
fix(translate): don't unfold aux lemmas, but translate them (#33603) …
Modified le_imp_le'View on Github →
2025-11-25 01:06
MathlibTest/ToDual.lean
feat(translate): automatically infer the `(reorder := ...)` argument (#31902) …
Added le_imp_le'View on Github →