Theorem not_lt_self

Modification history

2025-11-25 01:06
MathlibTest/ToDual.lean
feat(translate): automatically infer the `(reorder := ...)` argument (#31902) …
Added not_lt_selfView on Github →