Commit 2023-12-21 15:05 7ab29418
View on Github →feat(Order/RelIso): define missing instances (#9170)
Define EmbeddingLike (r ↪r s) α β and EquivLike (r ≃r s) α β.
feat(Order/RelIso): define missing instances (#9170)
Define EmbeddingLike (r ↪r s) α β and EquivLike (r ≃r s) α β.