Commit 2021-12-23 03:43 04779a32

feat(order/complete_boolean_algebra): lemmas about binfi (#10852) Adds corresponding binfi and Inf lemmas for existing infi results, especially where rw struggles to achieve the same thing alone.