Theorem le_refl':

Modification history

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