Theorem le_lt_trans

Modification history

2026-01-09 10:48
MathlibTest/ToDual.lean
fix(translate): don't unfold aux lemmas, but translate them (#33603) …
Added le_lt_transView on Github →