Commit 2024-05-01 14:27 d24a6580
View on Github →feat(Order/Minimals, Order/RelIso/Set): four RelIso
lemmas (#12558)
This PR proves four rewrite lemmas about RelIso
for statements that were previously a little awkward to navigate.
feat(Order/Minimals, Order/RelIso/Set): four RelIso
lemmas (#12558)
This PR proves four rewrite lemmas about RelIso
for statements that were previously a little awkward to navigate.