Theorem eq_of_min_of_max

Modification history

2026-03-20 01:59
MathlibTest/ToDual.lean
feat(Translate): translate binder names starting with `h` (#36304) …
Added eq_of_min_of_maxView on Github →