mathlib

04779a32 - feat(order/complete_boolean_algebra): lemmas about binfi (#10852)

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.