Commit 2025-10-12 08:25 29be66d5

View on Github →

chore(Mathlib/Order/BooleanAlgebra/Basic): some golf (#30427)

Estimated changes

modified theorem sdiff_eq_self_iff_disjoint
modified theorem sup_inf_inf_sdiff