Theorem one_le_one

Modification history

2026-01-09 10:48
MathlibTest/ToDual.lean
fix(translate): don't unfold aux lemmas, but translate them (#33603) …
Modified one_le_oneView on Github →
2025-12-05 13:19
MathlibTest/ToDual.lean
feat(translate): refactor `applyReplacementFun` and more (#32176) …
Added one_le_oneView on Github →