Zulip Chat Archive
Stream: general
Topic: lt vs le
Kenny Lau (Apr 29 2018 at 17:21):
eh... can I define a partial order / any order using lt instead of le?
Kenny Lau (Apr 29 2018 at 17:21):
currently lt is automated if you give le
Kenny Lau (Apr 29 2018 at 17:22):
and proving the le stuff using "lt or eq" seems to be quite a trouble
Kenny Lau (Apr 29 2018 at 17:22):
are there lemmas that would help me?
Last updated: May 02 2025 at 03:31 UTC